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