1 write to _vertex
System.Data.Entity (1)
System\Data\Common\Utils\Boolean\Converter.cs (1)
34
_vertex
= ToDecisionDiagramConverter<T_Identifier>.TranslateToRobdd(expr, _context);
4 references to _vertex
System.Data.Entity (4)
System\Data\Common\Utils\Boolean\Converter.cs (4)
39
get { return
_vertex
; }
98
if (
_vertex
.IsOne())
108
else if (
_vertex
.IsZero())
125
FindAllPaths(
_vertex
, cnfClauses, dnfClauses, path);