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 AnywhereValidatedBlocking.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)
           
 void BlockingStrategy.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)
           
 

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)
           
 

Methods in org.semanticweb.HermiT.model with parameters of type Variable
 boolean Atom.containsVariable(Variable variable)
           
 

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 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.Set<Variable> OWLClausification.NormalizedRuleClausifier.m_abstractVariables
           
 

Methods in org.semanticweb.HermiT.structural that return Variable
protected  Variable OWLClausification.NormalizedAxiomClausifier.nextY()
           
protected  Variable OWLClausification.NormalizedDataRangeAxiomClausifier.nextY()
           
protected  Variable OWLClausification.NormalizedAxiomClausifier.nextZ()
           
protected static Variable OWLClausification.NormalizedRuleClausifier.toVariable(org.semanticweb.owlapi.model.SWRLDArgument argument)
           
protected static Variable OWLClausification.NormalizedRuleClausifier.toVariable(org.semanticweb.owlapi.model.SWRLIArgument argument)
           
 

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)