Uses of Class
org.mindswap.pellet.tableau.branch.Branch

Packages that use Branch
com.clarkparsia.pellet.rules   
org.mindswap.pellet   
org.mindswap.pellet.tableau.branch   
org.mindswap.pellet.tableau.completion   
org.mindswap.pellet.tableau.completion.incremental   
 

Uses of Branch in com.clarkparsia.pellet.rules
 

Methods in com.clarkparsia.pellet.rules with parameters of type Branch
 void ContinuousRulesStrategy.restore(Branch branch)
           
 void ContinuousRulesStrategy.restoreLocal(Individual ind, Branch branch)
           
 void RuleStrategy.restoreLocal(Individual ind, Branch br)
           
 

Uses of Branch in org.mindswap.pellet
 

Methods in org.mindswap.pellet that return types with arguments of type Branch
 java.util.List<Branch> ABox.getBranches()
          Returns the branches.
 

Uses of Branch in org.mindswap.pellet.tableau.branch
 

Subclasses of Branch in org.mindswap.pellet.tableau.branch
 class ChooseBranch
           
 class DisjunctionBranch
           
 class GuessBranch
          Title:
 class IndividualBranch
           
 class MaxBranch
           
 class RuleBranch
           
 

Methods in org.mindswap.pellet.tableau.branch that return Branch
abstract  Branch Branch.copyTo(ABox abox)
           
 

Uses of Branch in org.mindswap.pellet.tableau.completion
 

Methods in org.mindswap.pellet.tableau.completion with parameters of type Branch
 void CompletionStrategy.addBranch(Branch newBranch)
           
 void EmptySRIQStrategy.addBranch(Branch newBranch)
           
 void CompletionStrategy.restore(Branch br)
           
 void EmptySRIQStrategy.restore(Branch br)
           
 void CompletionStrategy.restoreLocal(Individual ind, Branch br)
           
 void EmptySRIQStrategy.restoreLocal(Individual ind, Branch br)
           
 

Uses of Branch in org.mindswap.pellet.tableau.completion.incremental
 

Methods in org.mindswap.pellet.tableau.completion.incremental that return Branch
 Branch BranchAddDependency.getBranch()
          Get branch
 Branch CloseBranchDependency.getTheBranch()
           
 

Methods in org.mindswap.pellet.tableau.completion.incremental with parameters of type Branch
 void DependencyIndex.addBranchAddDependency(Branch branch)
          Add a new branch dependency
 void DependencyIndex.addCloseBranchDependency(Branch branch, DependencySet ds)
          Add a new branch ds removal dependency
 void DependencyIndex.removeBranchDependencies(Branch b)
          Remove branch dependencies - this is needed due to backjumping!
 

Constructors in org.mindswap.pellet.tableau.completion.incremental with parameters of type Branch
BranchAddDependency(aterm.ATermAppl assertion, int index, Branch branch)
          Constructor
CloseBranchDependency(aterm.ATermAppl assertion, int tryNext, Branch theBranch)
           
 



Copyright © 2004 Evren Sirin. All Rights Reserved.