Package org.xcsp.common.predicates

Class TreeEvaluator.VariableEvaluator

java.lang.Object

org.xcsp.common.predicates.TreeEvaluator.Evaluator

org.xcsp.common.predicates.TreeEvaluator.VariableEvaluator

All Implemented Interfaces:

TreeEvaluator.TagArity0, TreeEvaluator.TagInteger, TreeEvaluator.TagTerminal

Enclosing class:

TreeEvaluator

public class TreeEvaluator.VariableEvaluator
extends TreeEvaluator.Evaluator
implements TreeEvaluator.TagArity0, TreeEvaluator.TagTerminal, TreeEvaluator.TagInteger

Field Summary

Fields

Modifier and Type	Field	Description
int	position

Fields inherited from class org.xcsp.common.predicates.TreeEvaluator.Evaluator

arity

Constructor Summary

Constructors

Constructor	Description
VariableEvaluator(int position)

Method Summary

Modifier and Type	Method	Description
void	evaluate()

Methods inherited from class org.xcsp.common.predicates.TreeEvaluator.Evaluator

fixArity, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

position

public final int position

Constructor Detail

VariableEvaluator

public VariableEvaluator(int position)

Method Detail

evaluate

public void evaluate()

Specified by:

evaluate in class TreeEvaluator.Evaluator