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.

Develop classes:

DecisionTreeElementBodyC	Decision tree body.
DecisionTreeLeafBodyC	Leaf in the decision tree.
DecisionTreeBaseBodyC	Decision tree body.
DecisionTreeBodyC	Decision tree body.
DecisionTreeBranchBodyC	Branch in the decision tree.
DecisionTreeBranchBinaryBodyC	Decision tree body.
DecisionExamplesBodyC	Set of examples for a node in the decision tree.