public bool IsSatisfiedBy(Multiset multiset)
{
if (op == BinaryGuardOperator.AND)
{
return(lhs.IsSatisfiedBy(multiset) && rhs.IsSatisfiedBy(multiset));
}
else if (op == BinaryGuardOperator.OR)
{
return(lhs.IsSatisfiedBy(multiset) || rhs.IsSatisfiedBy(multiset));
}
return(false);
}
public bool IsSatisfiedBy(Multiset multiset)
{
return(!operand.IsSatisfiedBy(multiset));
}