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

Packages that use Variable

Package	Description
org.semanticweb.HermiT.blocking
org.semanticweb.HermiT.existentials
org.semanticweb.HermiT.model
org.semanticweb.HermiT.tableau

Uses of Variable in org.semanticweb.HermiT.blocking

Method parameters in org.semanticweb.HermiT.blocking with type arguments of type Variable

Modifier and Type	Method and Description
void	AnywhereBlocking.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
void	AncestorBlocking.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
void	BlockingStrategy.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
void	AnywhereValidatedBlocking.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, 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

Modifier and Type	Method and Description
void	AbstractExpansionStrategy.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
void	ExistentialExpansionStrategy.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)

Uses of Variable in org.semanticweb.HermiT.model

Methods in org.semanticweb.HermiT.model that return Variable

Modifier and Type	Method and Description
static Variable	Variable.create(String name)
Variable	Atom.getArgumentVariable(int argumentIndex)

Methods in org.semanticweb.HermiT.model with parameters of type Variable

Modifier and Type	Method and Description
boolean	Atom.containsVariable(Variable variable)

Method parameters in org.semanticweb.HermiT.model with type arguments of type Variable

Modifier and Type	Method and Description
void	Atom.getVariables(Set<Variable> variables)

Uses of Variable in org.semanticweb.HermiT.tableau

Constructor parameters in org.semanticweb.HermiT.tableau with type arguments of type Variable

Constructor and Description
ConjunctionCompiler(DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, Map<Integer,org.semanticweb.HermiT.tableau.UnionDependencySet> unionDependencySetsBySize, ExtensionManager extensionManager, Atom[] bodyAtoms, List<Variable> headVariables)