2 writes to Variable
System.Data.Entity (2)
System\Data\Common\Utils\Boolean\Vertex.cs (2)
35
this.
Variable
= int.MaxValue;
46
this.
Variable
= variable;
17 references to Variable
System.Data.Entity (17)
System\Data\Common\Utils\Boolean\ConversionContext.cs (2)
86
TermExpr<T_Identifier> term = _inverseVariableMap[vertex.
Variable
];
158
var domainVariable = _inverseMap[vertex.
Variable
];
System\Data\Common\Utils\Boolean\Solver.cs (12)
71
.OrderByDescending(child => child.
Variable
)
97
.OrderByDescending(child => child.
Variable
)
229
if (condition.
Variable
< then.
Variable
)
231
topVariable = condition.
Variable
;
236
topVariable = then.
Variable
;
239
if (@else.
Variable
< topVariable)
241
topVariable = @else.
Variable
;
253
if (variable < vertex.
Variable
)
260
Debug.Assert(variable == vertex.
Variable
,
322
if (x.
Variable
!= y.
Variable
||
System\Data\Common\Utils\Boolean\Vertex.cs (3)
58
Debug.Assert(variable < child.
Variable
, "children must have greater variable");
108
return
Variable
== int.MaxValue;
137
return String.Format(CultureInfo.InvariantCulture, "<{0}, {1}>",
Variable
, StringUtil.ToCommaSeparatedString(Children));