| Package | Description |
|---|---|
| org.coode.oppl | |
| org.coode.oppl.exceptions |
| Modifier and Type | Method and Description |
|---|---|
<O extends org.semanticweb.owlapi.model.OWLObject> |
ConstraintSystem.createVariable(String name,
VariableType<O> type,
VariableScope<?> variableScope) |
<O extends org.semanticweb.owlapi.model.OWLObject> |
ConstraintSystem.createVariableWithVerifiedName(String name,
VariableType<O> type,
VariableScope<?> variableScope) |
VariableScopeChecker |
OPPLFactory.getVariableScopeChecker() |
VariableScopeChecker |
OPPLAbstractFactory.getVariableScopeChecker() |
| Constructor and Description |
|---|
VariableScopeChecker(org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager,
org.semanticweb.owlapi.reasoner.OWLReasoner reasoner) |
| Modifier and Type | Class and Description |
|---|---|
class |
InvalidVariableNameException |
class |
NullReasonerException |
Copyright © 2015 The University of Manchester. All Rights Reserved.