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