src/Shared/EntityFramework/Core/Common/Utils/Boolean/KnowledgeBase.cs
// <summary>
// Adds the given fact to this KB.
// </summary>
// <param name="fact"> Simple fact. </param>
Adds the given fact to this KB.
Adds the given fact to this KB .
internal virtual void AddFact(BoolExpr<T_Identifier> fact)
        {
            _facts.Add(fact);
            var converter = new Converter<T_Identifier>(fact, _context);
            var factVertex = converter.Vertex;
            _knowledge = _context.Solver.And(_knowledge, factVertex);
        }
internal virtual void AddFact ( BoolExpr < T_Identifier > fact ) { _facts . Add ( fact ) ; var converter = new Converter < T_Identifier > ( fact , _context ) ; var factVertex = converter . Vertex ; _knowledge = _context . Solver . And ( _knowledge , factVertex ) ; }
Adds the given fact to this KB.
Adds the given fact to this KB .
fact
BoolExpr<T_Identifier>
None