Package org.mindswap.pellet.tableau.branch

Examples of org.mindswap.pellet.tableau.branch.ChooseBranch

73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
        for( Iterator<Edge> i = edges.iterator(); i.hasNext(); ) {
            Edge edge = i.next();
            Node neighbor = edge.getNeighbor( x );

            if( !neighbor.hasType( c ) && !neighbor.hasType( ATermUtils.negate( c ) ) ) {
                ChooseBranch newBranch = new ChooseBranch( strategy.getABox(), strategy, neighbor, c, x
                    .getDepends( maxCard ) );
                strategy.addBranch( newBranch );

                newBranch.tryNext();

                if( strategy.getABox().isClosed() )
                    return;
            }
        }     
View Full Code Here
TOP

Related Classes of org.mindswap.pellet.tableau.branch.ChooseBranch

  • org.mindswap.pellet.tableau.completion.rule.ChooseRule
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.