Class TransitionConstraintEvaluator