2 writes to _knowledge
System.Data.Entity (2)
System\Data\Common\Utils\Boolean\KnowledgeBase.cs (2)
47
_knowledge
= Vertex.One; // we know '1', but nothing else at present
72
_knowledge
= _context.Solver.And(_knowledge, factVertex);
1 reference to _knowledge
System.Data.Entity (1)
System\Data\Common\Utils\Boolean\KnowledgeBase.cs (1)
72
_knowledge = _context.Solver.And(
_knowledge
, factVertex);