OPPLFunction<String> |
OPPLSymbolTable.defineGroupAttributeReferenceSymbol(OPPLSyntaxTree variableSyntaxTree,
ManchesterOWLSyntaxTree indexNode,
ConstraintSystem constraintSystem) |
VariableAttribute<String> |
OPPLSymbolTable.defineRenderingAttributeReferenceSymbol(OPPLSyntaxTree variableSyntaxTree,
ConstraintSystem constraintSystem) |
VariableAttribute<?> |
OPPLSymbolTable.defineValuesAttributeReferenceSymbol(OPPLSyntaxTree variableSyntaxTree,
ConstraintSystem constraintSystem) |
void |
OPPLSymbolTable.defineVariableIRI(OPPLSyntaxTree iriTree,
OPPLSyntaxTree variableNameTree,
ConstraintSystem constraintSystem) |
void |
TypesEnforcer.enforceDifferentIndividualsAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree anIndividual,
OPPLSyntaxTree anotherIndividual) |
void |
DefaultTypeEnforcer.enforceDifferentIndividualsAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree anIndividual,
OPPLSyntaxTree anotherIndividual) |
void |
TypesEnforcer.enforceDomainAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p,
ManchesterOWLSyntaxTree classDescription) |
void |
DefaultTypeEnforcer.enforceDomainAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p,
ManchesterOWLSyntaxTree classDescription) |
void |
TypesEnforcer.enforceFunctionalPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p) |
void |
DefaultTypeEnforcer.enforceFunctionalPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p) |
void |
TypesEnforcer.enforceInverseFunctionalPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p) |
void |
DefaultTypeEnforcer.enforceInverseFunctionalPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p) |
void |
TypesEnforcer.enforceIrreflexivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p) |
void |
DefaultTypeEnforcer.enforceIrreflexivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p) |
void |
TypesEnforcer.enforceIverserOfAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p,
OPPLSyntaxTree anotherProperty) |
void |
DefaultTypeEnforcer.enforceIverserOfAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p,
OPPLSyntaxTree anotherProperty) |
void |
TypesEnforcer.enforceRangeAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p,
ManchesterOWLSyntaxTree range) |
void |
DefaultTypeEnforcer.enforceRangeAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p,
ManchesterOWLSyntaxTree range) |
void |
TypesEnforcer.enforceReflexivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p) |
void |
DefaultTypeEnforcer.enforceReflexivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p) |
void |
TypesEnforcer.enforceRoleAssertionAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree subject,
ManchesterOWLSyntaxTree property,
ManchesterOWLSyntaxTree object) |
void |
DefaultTypeEnforcer.enforceRoleAssertionAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree subject,
ManchesterOWLSyntaxTree property,
ManchesterOWLSyntaxTree object) |
void |
TypesEnforcer.enforceSameIndividualsAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree anIndividual,
OPPLSyntaxTree anotherIndividual) |
void |
DefaultTypeEnforcer.enforceSameIndividualsAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree anIndividual,
OPPLSyntaxTree anotherIndividual) |
void |
TypesEnforcer.enforceSymmetricPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p) |
void |
DefaultTypeEnforcer.enforceSymmetricPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p) |
void |
TypesEnforcer.enforceTransitivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p) |
void |
DefaultTypeEnforcer.enforceTransitivePropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
OPPLSyntaxTree p) |
void |
TypesEnforcer.enforceTypeAssertionAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
ManchesterOWLSyntaxTree classDescription,
OPPLSyntaxTree subject) |
void |
DefaultTypeEnforcer.enforceTypeAssertionAxiomTypes(ManchesterOWLSyntaxTree parentExpression,
ManchesterOWLSyntaxTree classDescription,
OPPLSyntaxTree subject) |
<O extends org.semanticweb.owlapi.model.OWLObject> Collection<? extends Aggregandum<Collection<? extends O>>> |
OPPLSymbolTable.getAggregandumCollection(VariableType<O> variableType,
Collection<? extends Aggregandum<?>> aggregandums,
List<OPPLSyntaxTree> aggregandumsTrees,
OPPLSyntaxTree parentExpression) |
VariableType<?> |
OPPLSymbolTable.getAggregandumCollectionType(Collection<? extends Aggregandum<?>> aggregandums,
List<OPPLSyntaxTree> aggregandumsTrees,
OPPLSyntaxTree parentExpression) |
<P extends org.semanticweb.owlapi.model.OWLObject,O extends VariableAttribute<Collection<? extends P>>> CollectionVariableAttributeSymbol<P,O> |
OPPLSymbolTable.getCollectionVariableAttributeSymbol(VariableType<?> type,
OPPLSyntaxTree attributeSyntaxTree) |
org.semanticweb.owlapi.model.OWLAxiom |
OPPLSymbolTable.getDifferentIndividualsAxiom(OPPLSyntaxTree opplSyntaxTree,
List<Aggregandum<?>> list,
List<OPPLSyntaxTree> tokenList,
ConstraintSystem constraintSystem) |
org.semanticweb.owlapi.model.OWLAxiom |
OPPLSymbolTable.getDisjointAxiom(OPPLSyntaxTree expression,
Collection<? extends Aggregandum<?>> aggregandums,
List<OPPLSyntaxTree> aggregdandumTrees,
ConstraintSystem constraintSystem) |
InequalityConstraint |
OPPLSymbolTable.getInequalityConstraint(OPPLSyntaxTree parentExpression,
OPPLSyntaxTree variableIdentifier,
OPPLSyntaxTree expression,
ConstraintSystem constraintSystem) |
InCollectionConstraint<org.semanticweb.owlapi.model.OWLObject> |
OPPLSymbolTable.getInSetConstraint(OPPLSyntaxTree parentExpression,
OPPLSyntaxTree v,
ConstraintSystem constraintSystem,
OPPLSyntaxTree... elements) |
InCollectionConstraint<org.semanticweb.owlapi.model.OWLObject> |
OPPLSymbolTable.getInSetConstraint(OPPLSyntaxTree parentExpression,
OPPLSyntaxTree v,
ConstraintSystem constraintSystem,
OPPLSyntaxTree... elements) |
org.semanticweb.owlapi.model.OWLAxiom |
OPPLSymbolTable.getSameIndividualAxiom(OPPLSyntaxTree opplSyntaxTree,
List<Aggregandum<?>> list,
List<OPPLSyntaxTree> tokenList,
ConstraintSystem constraintSystem) |
VariableAttribute<String> |
OPPLSymbolTable.getStringVariableAttribute(OPPLSyntaxTree variableAttributeSyntaxTree) |
Variable<?> |
OPPLSymbolTable.getVariable(OPPLSyntaxTree identifier,
ConstraintSystem constraintSystem) |