internal static Vertex TranslateToRobdd(
BoolExpr <T_Identifier> expr,
ConversionContext <T_Identifier> context)
{
ToDecisionDiagramConverter <T_Identifier> diagramConverter = new ToDecisionDiagramConverter <T_Identifier>(context);
return(expr.Accept <Vertex>((Visitor <T_Identifier, Vertex>)diagramConverter));
}
internal static Vertex TranslateToRobdd(BoolExpr <T_Identifier> expr, ConversionContext <T_Identifier> context)
{
DebugCheck.NotNull(expr);
var 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);
}