Package org.xcsp.common.predicates
Class TreeEvaluator.SubEvaluator
- java.lang.Object
-
- org.xcsp.common.predicates.TreeEvaluator.Evaluator
-
- org.xcsp.common.predicates.TreeEvaluator.SubEvaluator
-
- All Implemented Interfaces:
TreeEvaluator.TagArithmetic
,TreeEvaluator.TagArity2
,TreeEvaluator.TagInteger
- Enclosing class:
- TreeEvaluator
public class TreeEvaluator.SubEvaluator extends TreeEvaluator.Evaluator implements TreeEvaluator.TagArity2, TreeEvaluator.TagArithmetic
-
-
Field Summary
-
Fields inherited from class org.xcsp.common.predicates.TreeEvaluator.Evaluator
arity
-
-
Constructor Summary
Constructors Constructor Description SubEvaluator()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
evaluate()
-
Methods inherited from class org.xcsp.common.predicates.TreeEvaluator.Evaluator
fixArity, toString
-
-
-
-
Method Detail
-
evaluate
public void evaluate()
- Specified by:
evaluate
in classTreeEvaluator.Evaluator
-
-