1 instantiation of Solver
System.Data.Entity (1)
System\Data\Common\Utils\Boolean\ConversionContext.cs (1)
28internal readonly Solver Solver = new Solver();
2 references to Solver
System.Data.Entity (2)
System\Data\Common\Utils\Boolean\ConversionContext.cs (2)
28internal readonly Solver Solver = new Solver(); 73return Solver.CreateLeafVertex(variable, Solver.BooleanVariableChildren);