// <summary> // Initialize a new knowledge base. // </summary> internal KnowledgeBase() { _facts = new List <BoolExpr <T_Identifier> >(); _knowledge = Vertex.One; // we know '1', but nothing else at present _context = IdentifierService <T_Identifier> .Instance.CreateConversionContext(); }
private ToDecisionDiagramConverter(ConversionContext <T_Identifier> context) { DebugCheck.NotNull(context); _context = context; }
private ToDecisionDiagramConverter(ConversionContext <T_Identifier> context) { this._context = context; }
internal KnowledgeBase() { this._facts = new List <BoolExpr <T_Identifier> >(); this._knowledge = Vertex.One; this._context = IdentifierService <T_Identifier> .Instance.CreateConversionContext(); }
internal Converter(BoolExpr <T_Identifier> expr, ConversionContext <T_Identifier> context) { _context = context ?? IdentifierService <T_Identifier> .Instance.CreateConversionContext(); _vertex = ToDecisionDiagramConverter <T_Identifier> .TranslateToRobdd(expr, _context); }