internal override void ToCompactString(StringBuilder builder)
{
RestrictedMemberSlot.ToCompactString(builder);
builder.Append(" IN (");
StringUtil.ToCommaSeparatedStringSorted(builder, Domain.Values);
builder.Append(")");
}
internal override BoolLiteral RemapBool(Dictionary <MemberPath, MemberPath> remap)
{
var newVar = RestrictedMemberSlot.RemapSlot(remap);
return(new ScalarRestriction(newVar, Domain));
}
