public override bool IsTrueForAllRegisterUpdates(Predicate <TERM> pred) { foreach (var c in cases) { if (!c.Value.IsTrueForAllRegisterUpdates(pred)) { return(false); } } return(defaultcase.IsTrueForAllRegisterUpdates(pred)); }
public override bool IsTrueForAllRegisterUpdates(Predicate <TERM> pred) { return(trueCase.IsTrueForAllRegisterUpdates(pred) && falseCase.IsTrueForAllRegisterUpdates(pred)); }