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)); }