Uses of Class
org.semanticweb.HermiT.model.Variable

Packages that use Variable
org.semanticweb.HermiT.blocking   
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.structural   
org.semanticweb.HermiT.tableau   
 

Uses of Variable in org.semanticweb.HermiT.blocking
 

Fields in org.semanticweb.HermiT.blocking declared as Variable
protected  Variable[] BlockingValidator.DLClauseInfo.m_yVariables
           
protected  Variable[] BlockingValidator.DLClauseInfo.m_zVariables
           
 

Fields in org.semanticweb.HermiT.blocking with type parameters of type Variable
protected  java.util.List<Variable> AnywhereValidatedBlocking.ComputeCoreVariables.m_variables
           
 

Methods in org.semanticweb.HermiT.blocking with parameters of type Variable
protected  int BlockingValidator.DLClauseInfo.getIndexFor(Variable[] variables, Variable variable)
           
protected  int BlockingValidator.DLClauseInfo.getIndexFor(Variable[] variables, Variable variable)
           
 

Method parameters in org.semanticweb.HermiT.blocking with type arguments of type Variable
 void BlockingStrategy.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers, DLClause dlClause, java.util.List<Variable> variables, java.lang.Object[] valuesBuffer, boolean[] coreVariables)
           
 void AnywhereValidatedBlocking.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers, DLClause dlClause, java.util.List<Variable> variables, java.lang.Object[] valuesBuffer, boolean[] coreVariables)
           
 void AnywhereBlocking.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers, DLClause dlClause, java.util.List<Variable> variables, java.lang.Object[] valuesBuffer, boolean[] coreVariables)
           
 void AncestorBlocking.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers, DLClause dlClause, java.util.List<Variable> variables, java.lang.Object[] valuesBuffer, boolean[] coreVariables)
           
 

Constructor parameters in org.semanticweb.HermiT.blocking with type arguments of type Variable
AnywhereValidatedBlocking.ComputeCoreVariables(DLClause dlClause, java.util.List<Variable> variables, java.lang.Object[] valuesBuffer, boolean[] coreVariables)
           
 

Uses of Variable in org.semanticweb.HermiT.existentials
 

Method parameters in org.semanticweb.HermiT.existentials with type arguments of type Variable
 void ExistentialExpansionStrategy.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers, DLClause dlClause, java.util.List<Variable> variables, java.lang.Object[] valuesBuffer, boolean[] coreVariables)
           
 void AbstractExpansionStrategy.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers, DLClause dlClause, java.util.List<Variable> variables, java.lang.Object[] valuesBuffer, boolean[] coreVariables)
           
 

Uses of Variable in org.semanticweb.HermiT.model
 

Fields in org.semanticweb.HermiT.model with type parameters of type Variable
protected static InterningManager<Variable> Variable.s_interningManager
           
 

Methods in org.semanticweb.HermiT.model that return Variable
static Variable Variable.create(java.lang.String name)
           
 Variable Atom.getArgumentVariable(int argumentIndex)
          Returns the variable at position argumentIndex or null if that position contains something other than a variable.
 

Methods in org.semanticweb.HermiT.model with parameters of type Variable
 boolean Atom.containsVariable(Variable variable)
           
protected  boolean DLOntology.isTreeWithCenterVariable(DLClause dlClause, Variable centerVariable, java.util.Set<AtomicConcept> bodyOnlyAtomicConcepts)
          Tests whether the given center variable is suitable.
 

Method parameters in org.semanticweb.HermiT.model with type arguments of type Variable
 void Atom.getVariables(java.util.Set<Variable> variables)
           
 

Uses of Variable in org.semanticweb.HermiT.structural
 

Fields in org.semanticweb.HermiT.structural declared as Variable
protected  Variable OWLClausification.NormalizedRuleClausifier.m_lastVariable
           
protected static Variable OWLClausification.X
           
protected static Variable OWLClausification.Y
           
protected static Variable OWLClausification.Z
           
 

Fields in org.semanticweb.HermiT.structural with type parameters of type Variable
protected  java.util.Map<org.semanticweb.owlapi.model.OWLNamedIndividual,Variable> OWLClausification.NormalizedRuleClausifier.constantToVar
           
protected  java.util.Set<Variable> OWLClausification.NormalizedRuleClausifier.m_DLSafeVars
           
 java.util.List<java.util.Set<Variable>> OWLClausification.NormalizedRuleClausifier.m_DLSafeVarSets
           
 

Methods in org.semanticweb.HermiT.structural that return Variable
protected  Variable OWLClausification.NormalizedAxiomClausifier.nextY()
           
protected  Variable OWLClausification.NormalizedDataRangeAxiomClausifier.nextY()
           
protected  Variable OWLClausification.NormalizedAxiomClausifier.nextZ()
           
 

Uses of Variable in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau with type parameters of type Variable
protected  java.util.Set<Variable> DLClauseEvaluator.DLClauseCompiler.m_boundSoFar
           
protected  java.util.Set<Variable> HyperresolutionManager.BodyAtomsSwapper.m_boundVariables
           
protected  java.util.List<Variable> DLClauseEvaluator.DLClauseCompiler.m_variables
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type Variable
protected  boolean DLClauseEvaluator.DLClauseCompiler.occursInBodyAtomsAfter(Variable variable, int startIndex)