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