internal static TermExpr <DomainConstraint <BoolLiteral, Constant> > MakeTermExpression(
BoolLiteral literal,
IEnumerable <Constant> domain,
IEnumerable <Constant> range)
{
Set <Constant> domain1 = new Set <Constant>(domain, Constant.EqualityComparer);
Set <Constant> range1 = new Set <Constant>(range, Constant.EqualityComparer);
return(BoolLiteral.MakeTermExpression(literal, domain1, range1));
}
internal override BoolExpr <DomainConstraint <BoolLiteral, Constant> > GetDomainBoolExpression(
MemberDomainMap domainMap)
{
IEnumerable <Constant> elements = (IEnumerable <Constant>) new Constant[1]
{
(Constant) new ScalarConstant((object)true)
};
return((BoolExpr <DomainConstraint <BoolLiteral, Constant> >)BoolLiteral.MakeTermExpression((BoolLiteral)this, new Set <Constant>((IEnumerable <Constant>) new Constant[2]
{
(Constant) new ScalarConstant((object)true),
(Constant) new ScalarConstant((object)false)
}, Constant.EqualityComparer).MakeReadOnly(), new Set <Constant>(elements, Constant.EqualityComparer).MakeReadOnly()));
}
internal override BoolExpr <DomainConstraint <BoolLiteral, Constant> > GetDomainBoolExpression(
MemberDomainMap domainMap)
{
return(domainMap == null ? (BoolExpr <DomainConstraint <BoolLiteral, Constant> >)BoolLiteral.MakeTermExpression((BoolLiteral)this, this.m_domain.AllPossibleValues, this.m_domain.Values) : (BoolExpr <DomainConstraint <BoolLiteral, Constant> >)BoolLiteral.MakeTermExpression((BoolLiteral)this, domainMap.GetDomain(this.m_restrictedMemberSlot.MemberPath), this.m_domain.Values));
}