Symbolic decision tree
DecisionTreeC Decision tree.
DecisionExamplesC Decision Example Set.
DiscriminatorBodyC Tool to find an expression which discriminates between sets of states.
DiscriminatorC Tool to find an expression which discriminates between sets of states.
SampleLiteralC Set of example literals.
SampleStateC Set of example states.
DecisionTreeElementC Decision tree.
DecisionTreeLeafC Leaf in the decision tree.
DecisionTreeBaseC Decision tree.
DecisionTreeBranchC Branch in the decision tree.
DecisionTreeBranchBinaryC Decision tree.