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