|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||