|
||||||||||
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 |