6 instantiations of DomainConstraint
System.Data.Entity (6)
System\Data\Common\Utils\Boolean\ConversionContext.cs (1)
184var constraint = new DomainConstraint<T_Variable, T_Element>(domainVariable, range.MakeReadOnly());
System\Data\Common\Utils\Boolean\DomainConstraint.cs (1)
130return new DomainConstraint<T_Variable, T_Element>(_variable,
System\Data\Mapping\FunctionImportMapping.cs (2)
352new DomainConstraint<string, ValueCondition>(variables[j], ValueCondition.IsNull)); 359new DomainConstraint<string, ValueCondition>(variables[j], conditionValue));
System\Data\Mapping\ViewGeneration\QueryRewriting\FragmentQueryProcessor.cs (1)
131DomainConstraint<BoolLiteral, Constant> constraint = new DomainConstraint<BoolLiteral, Constant>(var,
System\Data\Mapping\ViewGeneration\Structures\BoolLiteral.cs (1)
57DomainConstraint constraint = new DomainConstraint(variable, range);
103 references to DomainConstraint
System.Data.Entity (103)
System\Data\Common\Utils\Boolean\ConversionContext.cs (7)
110internal sealed class DomainConstraintConversionContext<T_Variable, T_Element> : ConversionContext<DomainConstraint<T_Variable, T_Element>> 122internal override Vertex TranslateTermToVertex(TermExpr<DomainConstraint<T_Variable, T_Element>> term) 155internal override IEnumerable<LiteralVertexPair<DomainConstraint<T_Variable, T_Element>>> GetSuccessors(Vertex vertex) 184var constraint = new DomainConstraint<T_Variable, T_Element>(domainVariable, range.MakeReadOnly()); 185var literal = new Literal<DomainConstraint<T_Variable, T_Element>>( 186new TermExpr<DomainConstraint<T_Variable, T_Element>>(constraint), true); 188yield return new LiteralVertexPair<DomainConstraint<T_Variable, T_Element>>(successorVertex, literal);
System\Data\Common\Utils\Boolean\DomainConstraint.cs (3)
128internal DomainConstraint<T_Variable, T_Element> InvertDomainConstraint() 137DomainConstraint<T_Variable, T_Element> other = obj as DomainConstraint<T_Variable, T_Element>;
System\Data\Common\Utils\Boolean\IdentifierService.cs (11)
34identifierType.GetGenericTypeDefinition() == typeof(DomainConstraint<,>)) 93private class DomainConstraintIdentifierService<T_Variable, T_Element> : IdentifierService<DomainConstraint<T_Variable, T_Element>> 95internal override Literal<DomainConstraint<T_Variable, T_Element>> NegateLiteral(Literal<DomainConstraint<T_Variable, T_Element>> literal) 99TermExpr<DomainConstraint<T_Variable, T_Element>> term = new TermExpr<DomainConstraint<T_Variable, T_Element>>( 101return new Literal<DomainConstraint<T_Variable, T_Element>>(term, literal.IsTermPositive); 104internal override ConversionContext<DomainConstraint<T_Variable, T_Element>> CreateConversionContext() 109internal override BoolExpr<DomainConstraint<T_Variable, T_Element>> LocalSimplify(BoolExpr<DomainConstraint<T_Variable, T_Element>> expression) 112return expression.Accept(Simplifier<DomainConstraint<T_Variable, T_Element>>.Instance);
System\Data\Common\Utils\Boolean\NegationPusher.cs (11)
27internal static BoolExpr<DomainConstraint<T_Variable, T_Element>> EliminateNot<T_Variable, T_Element>(BoolExpr<DomainConstraint<T_Variable, T_Element>> expression) 85private class NonNegatedDomainConstraintTreeVisitor<T_Variable, T_Element> : NonNegatedTreeVisitor<DomainConstraint<T_Variable, T_Element>> 93internal override BoolExpr<DomainConstraint<T_Variable, T_Element>> VisitNot(NotExpr<DomainConstraint<T_Variable, T_Element>> expression) 99private class NegatedDomainConstraintTreeVisitor<T_Variable, T_Element> : NegatedTreeVisitor<DomainConstraint<T_Variable, T_Element>> 107internal override BoolExpr<DomainConstraint<T_Variable, T_Element>> VisitNot(NotExpr<DomainConstraint<T_Variable, T_Element>> expression) 112internal override BoolExpr<DomainConstraint<T_Variable, T_Element>> VisitTerm(TermExpr<DomainConstraint<T_Variable, T_Element>> expression) 114return new TermExpr<DomainConstraint<T_Variable, T_Element>>(expression.Identifier.InvertDomainConstraint());
System\Data\Mapping\FunctionImportMapping.cs (3)
331ConversionContext<DomainConstraint<string, ValueCondition>> converter, 351var isNull = new TermExpr<DomainConstraint<string, ValueCondition>>( 358var hasValue = new TermExpr<DomainConstraint<string, ValueCondition>>(
System\Data\Mapping\ViewGeneration\QueryRewriting\FragmentQueryKB.cs (6)
22internal class FragmentQueryKB : KnowledgeBase<DomainConstraint<BoolLiteral, Constant>> 24private BoolExpr<DomainConstraint<BoolLiteral, Constant>> _kbExpression = TrueExpr<DomainConstraint<BoolLiteral, Constant>>.Value; 26internal override void AddFact(BoolExpr<DomainConstraint<BoolLiteral, Constant>> fact) 29_kbExpression = new AndExpr<DomainConstraint<BoolLiteral, Constant>>(_kbExpression, fact); 31internal BoolExpr<DomainConstraint<BoolLiteral, Constant>> KbExpression
System\Data\Mapping\ViewGeneration\QueryRewriting\FragmentQueryProcessor.cs (8)
23using BoolDomainConstraint = DomainConstraint<BoolLiteral, Constant>; 99new AndExpr<BoolDomainConstraint>(_kb.KbExpression, condition.Tree)); 100var context = IdentifierService<BoolDomainConstraint>.Instance.CreateConversionContext(); 101var converter = new Converter<BoolDomainConstraint>(conditionUnderKB.Tree, context); 131DomainConstraint<BoolLiteral, Constant> constraint = new DomainConstraint<BoolLiteral, Constant>(var, 135new AndExpr<DomainConstraint<BoolLiteral, Constant>>(view.Condition.Tree, 136new NotExpr<DomainConstraint<BoolLiteral, Constant>>(new TermExpr<DomainConstraint<BoolLiteral, Constant>>(constraint))));
System\Data\Mapping\ViewGeneration\QueryRewriting\RewritingValidator.cs (9)
386private class WhereClauseVisitor : Visitor<DomainConstraint<BoolLiteral, Constant>, CellTreeNode> 405internal override CellTreeNode VisitAnd(AndExpr<DomainConstraint<BoolLiteral, Constant>> expression) 423internal override CellTreeNode VisitTrue(TrueExpr<DomainConstraint<BoolLiteral, Constant>> expression) 428internal override CellTreeNode VisitTerm(TermExpr<DomainConstraint<BoolLiteral, Constant>> expression) 453internal override CellTreeNode VisitFalse(FalseExpr<DomainConstraint<BoolLiteral, Constant>> expression) 457internal override CellTreeNode VisitNot(NotExpr<DomainConstraint<BoolLiteral, Constant>> expression) 461internal override CellTreeNode VisitOr(OrExpr<DomainConstraint<BoolLiteral, Constant>> expression) 471private IEnumerable<CellTreeNode> AcceptChildren(IEnumerable<BoolExpr<DomainConstraint<BoolLiteral, Constant>>> children) 473foreach (BoolExpr<DomainConstraint<BoolLiteral, Constant>> child in children) { yield return child.Accept(this); }
System\Data\Mapping\ViewGeneration\Structures\BoolExpression.cs (17)
21using BoolDomainConstraint = DomainConstraint<BoolLiteral, Constant>; 22using DomainAndExpr = AndExpr<DomainConstraint<BoolLiteral, Constant>>; 23using DomainBoolExpr = BoolExpr<DomainConstraint<BoolLiteral, Constant>>; 24using DomainFalseExpr = FalseExpr<DomainConstraint<BoolLiteral, Constant>>; 25using DomainNotExpr = NotExpr<DomainConstraint<BoolLiteral, Constant>>; 26using DomainOrExpr = OrExpr<DomainConstraint<BoolLiteral, Constant>>; 27using DomainTermExpr = TermExpr<DomainConstraint<BoolLiteral, Constant>>; 28using DomainTrueExpr = TrueExpr<DomainConstraint<BoolLiteral, Constant>>; 141private Converter<BoolDomainConstraint> m_converter; 198DomainConstraint<BoolLiteral, Constant> domainConstraint = term.Identifier; 250internal IEnumerable<DomainConstraint<BoolLiteral, Constant>> VariableConstraints 252get { return LeafVisitor<DomainConstraint<BoolLiteral, Constant>>.GetLeaves(m_tree); } 304var rewriter = new BooleanExpressionTermRewriter<BoolDomainConstraint, BoolDomainConstraint>( 397m_converter = new Converter<BoolDomainConstraint>(m_tree, 398IdentifierService<BoolDomainConstraint>.Instance.CreateConversionContext()); 407private class CopyVisitor : BasicVisitor<BoolDomainConstraint> { }
System\Data\Mapping\ViewGeneration\Structures\BoolExpressionVisitors.cs (17)
21using BoolDomainConstraint = DomainConstraint<BoolLiteral, Constant>; 22using DomainAndExpr = AndExpr<DomainConstraint<BoolLiteral, Constant>>; 23using DomainBoolExpr = BoolExpr<DomainConstraint<BoolLiteral, Constant>>; 24using DomainFalseExpr = FalseExpr<DomainConstraint<BoolLiteral, Constant>>; 25using DomainNotExpr = NotExpr<DomainConstraint<BoolLiteral, Constant>>; 26using DomainOrExpr = OrExpr<DomainConstraint<BoolLiteral, Constant>>; 27using DomainTermExpr = TermExpr<DomainConstraint<BoolLiteral, Constant>>; 28using DomainTreeExpr = TreeExpr<DomainConstraint<BoolLiteral, Constant>>; 29using DomainTrueExpr = TrueExpr<DomainConstraint<BoolLiteral, Constant>>; 38private class FixRangeVisitor : BasicVisitor<BoolDomainConstraint> 74private class IsFinalVisitor : Visitor<BoolDomainConstraint, bool> 147private class RemapBoolVisitor : BasicVisitor<BoolDomainConstraint> 186private class RequiredSlotsVisitor : BasicVisitor<BoolDomainConstraint> 381private abstract class AsCqlVisitor<T_Return> : Visitor<BoolDomainConstraint, T_Return> 421private class AsUserStringVisitor : Visitor<BoolDomainConstraint, StringBuilder> 542private class TermVisitor : Visitor<BoolDomainConstraint, IEnumerable<DomainTermExpr>> 613private class CompactStringVisitor : Visitor<BoolDomainConstraint, StringBuilder>
System\Data\Mapping\ViewGeneration\Structures\BoolLiteral.cs (7)
19using DomainConstraint = System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>; 21using DomainBoolExpr = System.Data.Common.Utils.Boolean.BoolExpr<System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>; 22using DomainNotExpr = System.Data.Common.Utils.Boolean.NotExpr <System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>; 23using DomainTermExpr = System.Data.Common.Utils.Boolean.TermExpr<System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>; 27/// Conditions represented by <see cref="BoolLiteral"/>s need to be synchronized with <see cref="DomainConstraint"/>s, 57DomainConstraint constraint = new DomainConstraint(variable, range); 58DomainTermExpr result = new DomainTermExpr(EqualityComparer<DomainConstraint>.Default, constraint);
System\Data\Mapping\ViewGeneration\Structures\MemberRestriction.cs (2)
20using DomainBoolExpr = System.Data.Common.Utils.Boolean.BoolExpr<System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>; 21using DomainTermExpr = System.Data.Common.Utils.Boolean.TermExpr<System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>;
System\Data\Mapping\ViewGeneration\Structures\ScalarRestriction.cs (1)
21using DomainBoolExpr = System.Data.Common.Utils.Boolean.BoolExpr<System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>;
System\Data\Mapping\ViewGeneration\Structures\TypeRestriction.cs (1)
22using DomainBoolExpr = System.Data.Common.Utils.Boolean.BoolExpr<System.Data.Common.Utils.Boolean.DomainConstraint<BoolLiteral, Constant>>;