Example #1
0
        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);
        }
Example #2
0
 public bool IsSatisfiedBy(Multiset multiset)
 {
     return(!operand.IsSatisfiedBy(multiset));
 }