internal static BoolExpression CreateLiteral( BoolLiteral literal, MemberDomainMap memberDomainMap) { return(new BoolExpression(literal.GetDomainBoolExpression(memberDomainMap), memberDomainMap)); }
internal BoolExpression Create(BoolLiteral literal) { return(new BoolExpression(literal.GetDomainBoolExpression(this.m_memberDomainMap), this.m_memberDomainMap)); }
// effects: Creates a new boolean expression using the memberDomainMap of this expression internal BoolExpression Create(BoolLiteral literal) { var expr = literal.GetDomainBoolExpression(m_memberDomainMap); return(new BoolExpression(expr, m_memberDomainMap)); }