// <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);
}
