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