internal static Vertex TranslateToRobdd(BoolExpr <T_Identifier> expr, ConversionContext <T_Identifier> context)
{
Debug.Assert(null != expr, "must provide an expression");
ToDecisionDiagramConverter <T_Identifier> converter =
new ToDecisionDiagramConverter <T_Identifier>(context);
return(expr.Accept(converter));
}
internal Converter(BoolExpr <T_Identifier> expr, ConversionContext <T_Identifier> context)
{
_context = context ?? IdentifierService <T_Identifier> .Instance.CreateConversionContext();
_vertex = ToDecisionDiagramConverter <T_Identifier> .TranslateToRobdd(expr, _context);
}
