Uses of Class
org.coode.oppl.IndividualVariableScope

Packages that use IndividualVariableScope

Package	Description
org.coode.oppl

Uses of IndividualVariableScope in org.coode.oppl

Methods in org.coode.oppl that return IndividualVariableScope

Modifier and Type	Method and Description
static IndividualVariableScope	VariableScopes.buildIndividualVariableScope(org.semanticweb.owlapi.model.OWLClassExpression description, VariableScopeChecker checker)

Methods in org.coode.oppl with parameters of type IndividualVariableScope

Modifier and Type	Method and Description
protected boolean	VariableScopeChecker.check(org.semanticweb.owlapi.model.OWLIndividual individual, IndividualVariableScope scope)