Package org.xcsp.common.predicates
Class TreeEvaluator.ShortCircuit
- java.lang.Object
-
- org.xcsp.common.predicates.TreeEvaluator.ShortCircuit
-
- Enclosing class:
- TreeEvaluator
public class TreeEvaluator.ShortCircuit extends Object
-
-
Field Summary
Fields Modifier and Type Field Description int
nextPosition
Types.TypeCircuitableOperator
operator
-
Constructor Summary
Constructors Constructor Description ShortCircuit(Types.TypeCircuitableOperator operator, int nextPosition)
-
-
-
Field Detail
-
operator
public final Types.TypeCircuitableOperator operator
-
nextPosition
public final int nextPosition
-
-
Constructor Detail
-
ShortCircuit
public ShortCircuit(Types.TypeCircuitableOperator operator, int nextPosition)
-
-