GroupedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory) |
GroupedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
java.util.Collection<Formula> formulas) |
GroupedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
Formula f) |
PartitionedConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
ConjunctionFactory<? extends UnsortedTreeConjunction> factory) |
PartitionedConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
ConjunctionFactory<? extends UnsortedTreeConjunction> factory,
java.util.Collection<Formula> terms) |
PartitionedConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
ConjunctionFactory<? extends UnsortedTreeConjunction> factory,
Formula f) |
SizeSortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory) |
SizeSortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
java.util.Collection<Formula> formulas) |
SizeSortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
Formula f) |
UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory) |
UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
java.util.Collection<Formula> formulas) |
UnsortedTreeConjunction(TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> treefactory,
Formula f) |