public bool Evaluate(TransitionSystem transitionSystem, int[] initialStates)
{
var a = f.Evaluate(transitionSystem, initialStates);
var b = g.Evaluate(transitionSystem, initialStates);
return(a && b);
}
public override bool Evaluate(Dictionary <string, bool> state)
{
return(LogicFunction(mLeft.Evaluate(state), mRight.Evaluate(state)));
}
public bool Evaluate(TransitionSystem transitionSystem, int[] initialStates)
{
return(!f.Evaluate(transitionSystem, initialStates));
}