Package org.grinvin.conjecture.engine.apengine

Interface Summary

Operators.Operator
TreeFactory<T,extends,BinaryTree> Interface that needs to be implemented by all factories that create (an extension of) a BinaryTree.

Class Summary

BinaryTree This class represents a binary tree.
BinaryTreeFactory Factory for creating a BinaryTree.
ExactTreeGenerator<T,extends,BinaryTree> Tree generator that generates trees with exactly the given amount of unary and binary operators.
ExpressionBuilder Builds an Expression from a LabeledBinaryTree.
LabeledBinaryTree A binary tree that can be labeled.
LabeledBinaryTreeFactory Factory for creating a LabeledBinaryTree.
LabeledTreeGenerator
LimitedTreeGenerator<T,extends,BinaryTree> Tree generator that generates trees with at most the given amount of unary and binary operators.
Operators
Operators.BinaryOperator
Operators.Invariant
Operators.UnaryOperator
StateStack<E> Abstract class for handling state in the tree generators.
TreeGenerator<T,extends,BinaryTree>
TreeGenerator.TreeGeneratorStateStack Private class to represent the stack of the TreeGenerator.