Exemplo n.º 1
0
        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));
        }
Exemplo n.º 2
0
        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));
        }
Exemplo n.º 3
0
        internal Converter(BoolExpr <T_Identifier> expr, ConversionContext <T_Identifier> context)
        {
            _context = context ?? IdentifierService <T_Identifier> .Instance.CreateConversionContext();

            _vertex = ToDecisionDiagramConverter <T_Identifier> .TranslateToRobdd(expr, _context);
        }