src/Shared/EntityFramework/Core/Mapping/ViewGeneration/Structures/BoolLiteral.cs
// <summary>
// Creates a term expression of the form: "<paramref name="literal" /> in <paramref name="range" /> with all possible values being
// <paramref
//     name="domain" />
// ".
// </summary>
Creates a term expression of the form: " in  with all possible values being


Creates a term expression of the form : " in with all possible values being
internal static DomainTermExpr MakeTermExpression(BoolLiteral literal, Set<Constant> domain, Set<Constant> range)
        {
            domain.MakeReadOnly();
            range.MakeReadOnly();
            var variable = new DomainVariable(literal, domain, EqualityIdentifierComparer);
            var constraint = new DomainConstraint(variable, range);
            var result = new DomainTermExpr(EqualityComparer<DomainConstraint>.Default, constraint);
            return result;
        }
internal static DomainTermExpr MakeTermExpression ( BoolLiteral literal , Set < Constant > domain , Set < Constant > range ) { domain . MakeReadOnly ( ) ; range . MakeReadOnly ( ) ; var variable = new DomainVariable ( literal , domain , EqualityIdentifierComparer ) ; var constraint = new DomainConstraint ( variable , range ) ; var result = new DomainTermExpr ( EqualityComparer < DomainConstraint > . Default , constraint ) ; return result ; }
Creates a term expression of the form: " in  with all possible values being
Creates a term expression of the form : " in with all possible values being
literal
BoolLiteral
domain
Set<Constant>
range
Set<Constant>