18 references to Solver
System.Data.Entity (18)
System\Data\Common\Utils\Boolean\ConversionContext.cs (4)
70variable = Solver.CreateVariable(); 73return Solver.CreateLeafVertex(variable, Solver.BooleanVariableChildren); 147robddVariable = Solver.CreateVariable(); 152return Solver.CreateLeafVertex(robddVariable, children);
System\Data\Common\Utils\Boolean\KnowledgeBase.cs (1)
72_knowledge = _context.Solver.And(_knowledge, factVertex);
System\Data\Common\Utils\Boolean\Visitor.cs (3)
278return _context.Solver.Not(expression.Child.Accept(this)); 283return _context.Solver.And(expression.Children.Select(child => child.Accept(this))); 288return _context.Solver.Or(expression.Children.Select(child => child.Accept(this)));
System\Data\Mapping\FunctionImportMapping.cs (10)
354condition = converter.Solver.And(condition, converter.Solver.Not(isNullVertex)); 360condition = converter.Solver.And(condition, converter.TranslateTermToVertex(hasValue)); 389candidateFunction = converter.Solver.And(candidateFunction, mappingConditions[j]); 393candidateFunction = converter.Solver.And(candidateFunction, converter.Solver.Not(mappingConditions[j])); 405Vertex isExactlyThisTypeCondition = converter.Solver.And( 408converter.Solver.Not(typeCondition))); 439candidateFunction = converter.Solver.And(candidateFunction, mappingConditions[j]); 458if (!converter.Solver.And(candidateFunctions[i], candidateFunctions[j]).IsZero())