public static final class DecisionTree.Impossible extends DecisionTree
DecisionTree to represents
empty transition tablesDecisionTree.Impossible, DecisionTree.Kind, DecisionTree.Return, DecisionTree.Split, DecisionTree.Switch, DecisionTree.TableIMPOSSIBLE| Modifier and Type | Method and Description |
|---|---|
CSet |
getDomain() |
DecisionTree.Kind |
getKind() |
compile, main, ret, simplify, split, switchTable, tabulated, toStringpublic CSet getDomain()
getDomain in class DecisionTreepublic DecisionTree.Kind getKind()
getKind in class DecisionTree