Symbolic decision tree

Normal classes:

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.

Advanced classes:

DecisionTreeElementC	Decision tree.
DecisionTreeLeafC	Leaf in the decision tree.
DecisionTreeBaseC	Decision tree.
DecisionTreeBranchC	Branch in the decision tree.
DecisionTreeBranchBinaryC	Decision tree.