Package org.xcsp.common.predicates
-
Interface Summary Interface Description MatcherInterface This interface is used to test if a specified (source) tree matches a predefined target tree.TreeEvaluator.ExternFunctionArity1 TreeEvaluator.ExternFunctionArity2 TreeEvaluator.TagArithmetic TreeEvaluator.TagArity0 TreeEvaluator.TagArity1 TreeEvaluator.TagArity2 TreeEvaluator.TagArity3 TreeEvaluator.TagArityX TreeEvaluator.TagAssociative TreeEvaluator.TagBoolean TagsTreeEvaluator.TagInteger TreeEvaluator.TagLogical TreeEvaluator.TagRelational TreeEvaluator.TagSet TreeEvaluator.TagSymmetric TreeEvaluator.TagTerminal -
Class Summary Class Description MatcherInterface.Matcher This class allows us to perform matching tests between trees.TreeEvaluator XNode<V extends IVar> This class is used for representing a node of a syntactic tree, which is built for functional expressions, and used especially with element<intension>
.XNodeLeaf<V extends IVar> The class used for representing a leaf node in a syntactic tree.XNodeParent<V extends IVar> The class used for representing a parent node in a syntactic tree.XNodeParentSpecial<V extends IVar> -
Enum Summary Enum Description MatcherInterface.AbstractOperation