Uses of Class
org.coode.parsers.ManchesterOWLSyntaxTree

Packages that use ManchesterOWLSyntaxTree

Package	Description
org.coode.parsers
org.coode.parsers.oppl

Uses of ManchesterOWLSyntaxTree in org.coode.parsers

Fields in org.coode.parsers declared as ManchesterOWLSyntaxTree

Modifier and Type	Field and Description
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypesParts.expression_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypesParts.conjunction_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypesParts.unary_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypesParts.propertyExpression_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypesParts.complexPropertyExpression_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypesParts.qualifiedRestriction_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypesParts.cardinalityRestriction_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypesParts.oneOf_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypesParts.valueRestriction_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypes.axiom_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypes.expression_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypes.conjunction_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypes.unary_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypes.dataRange_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypes.facet_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypes.propertyExpression_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypes.complexPropertyExpression_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypes.qualifiedRestriction_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypes.cardinalityRestriction_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypes.valueRestriction_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxTypes.oneOf_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxAutoComplete.expression_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxAutoComplete.conjunction_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxAutoComplete.unary_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxAutoComplete.propertyExpression_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxAutoComplete.complexPropertyExpression_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxAutoComplete.qualifiedRestriction_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxAutoComplete.cardinalityRestriction_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxAutoComplete.oneOf_return.node
ManchesterOWLSyntaxTree	ManchesterOWLSyntaxAutoComplete.valueRestriction_return.node

Methods in org.coode.parsers with parameters of type ManchesterOWLSyntaxTree

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLObject	SymbolTable.getAllValueRestriction(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
Type	SymbolTable.getAllValueRestrictionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom	SymbolTable.getAnnotationAssertion(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree iri, ManchesterOWLSyntaxTree annotationPropertyNode, ManchesterOWLSyntaxTree object)
Type	SymbolTable.getAnnotationAssertionType(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree iri, ManchesterOWLSyntaxTree annotationPropertyNode, ManchesterOWLSyntaxTree object)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getAsymmetricProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getClassAssertionAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree description, ManchesterOWLSyntaxTree subject)
Type	SymbolTable.getClassAssertionAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree description, ManchesterOWLSyntaxTree subject)
org.semanticweb.owlapi.model.OWLObject	SymbolTable.getConjunction(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree[] conjuncts)
Type	SymbolTable.getConjunctionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree... conjuncts)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getDifferentIndividualsAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree anIndividual, ManchesterOWLSyntaxTree anotherIndividual)
Type	SymbolTable.getDifferentIndividualsAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree anIndividual, ManchesterOWLSyntaxTree anotherIndividual)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getDisjointAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
Type	SymbolTable.getDisjointAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
org.semanticweb.owlapi.model.OWLObject	SymbolTable.getDisjunction(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree[] disjuncts)
Type	SymbolTable.getDisjunctionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree... disjuncts)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getDomainAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p, ManchesterOWLSyntaxTree domain)
Type	SymbolTable.getDomainAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p, ManchesterOWLSyntaxTree domain)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getEquivalentAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
Type	SymbolTable.getEquivalentAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
org.semanticweb.owlapi.model.OWLObject	SymbolTable.getExactCardinalityRestriction(org.antlr.runtime.tree.CommonTree expression, int i, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
Type	SymbolTable.getExactCardinalityRestrictionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getFunctionalProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
Type	SymbolTable.getFunctionalPropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
org.semanticweb.owlapi.model.OWLHasKeyAxiom	SymbolTable.getHasKey(ManchesterOWLSyntaxTree node, Set<ManchesterOWLSyntaxTree> propertyExpressions)
Type	SymbolTable.getHasKeyType(ManchesterOWLSyntaxTree node, Set<ManchesterOWLSyntaxTree> propertyExpressions)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getInverseFunctionalProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
Type	SymbolTable.getInverseFunctionalPropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getInverseOfAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
Type	SymbolTable.getInverseOfAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
org.semanticweb.owlapi.model.OWLObject	SymbolTable.getInverseProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree property)
Type	SymbolTable.getInversePropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree property)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getIrreflexiveProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
Type	SymbolTable.getIrreflexivePropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
org.semanticweb.owlapi.model.OWLObject	SymbolTable.getMaxCardinalityRestriction(org.antlr.runtime.tree.CommonTree expression, int cardinality, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
Type	SymbolTable.getMaxCardinalityRestrictionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
org.semanticweb.owlapi.model.OWLObject	SymbolTable.getMinCardinalityRestriction(org.antlr.runtime.tree.CommonTree expression, int cardinality, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
Type	SymbolTable.getMinCardinalityRestrictionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getNegatedAssertion(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree assertion)
Type	SymbolTable.getNegatedAssertionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree assertion)
org.semanticweb.owlapi.model.OWLObject	SymbolTable.getNegatedClassExpression(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree node)
Type	SymbolTable.getNegatedClassExpressionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree node)
org.semanticweb.owlapi.model.OWLObject	SymbolTable.getOneOf(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree[] individuals)
Type	SymbolTable.getOneOfType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree... individuals)
org.semanticweb.owlapi.model.OWLDatatypeRestriction	SymbolTable.getOWLDataRange(ManchesterOWLSyntaxTree dataType, ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... facets)
org.semanticweb.owlapi.model.OWLDatatypeRestriction	SymbolTable.getOWLDataRange(ManchesterOWLSyntaxTree dataType, ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... facets)
OWLType	SymbolTable.getOWLDataRangeType(ManchesterOWLSyntaxTree dataType, ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... facets)
OWLType	SymbolTable.getOWLDataRangeType(ManchesterOWLSyntaxTree dataType, ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... facets)
org.semanticweb.owlapi.model.OWLFacetRestriction	SymbolTable.getOWLFacetRestriction(ManchesterOWLSyntaxTree facet, ManchesterOWLSyntaxTree value, org.antlr.runtime.tree.CommonTree parentExpression)
OWLType	SymbolTable.getOWLFacetRestrictionType(ManchesterOWLSyntaxTree facet, ManchesterOWLSyntaxTree value, org.antlr.runtime.tree.CommonTree parentExpression)
org.semanticweb.owlapi.model.OWLObject	SymbolTable.getOWLObject(ManchesterOWLSyntaxTree node)
org.semanticweb.owlapi.model.OWLLiteral	SymbolTable.getOWLTypedConstant(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree value, ManchesterOWLSyntaxTree constantType)
org.semanticweb.owlapi.model.OWLLiteral	SymbolTable.getOWLUntypedConstant(ManchesterOWLSyntaxTree value, ManchesterOWLSyntaxTree lang)
OWLPropertyChain	SymbolTable.getPropertyChain(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree[] chainItems)
Type	SymbolTable.getPropertyChainType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree... chainItems)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getRangeAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p, ManchesterOWLSyntaxTree range)
Type	SymbolTable.getRangeAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p, ManchesterOWLSyntaxTree range)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getReflexiveProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
Type	SymbolTable.getReflexivePropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getRoleAssertionAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree subject, ManchesterOWLSyntaxTree property, ManchesterOWLSyntaxTree object)
Type	SymbolTable.getRoleAssertionAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree subject, ManchesterOWLSyntaxTree property, ManchesterOWLSyntaxTree object)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getSameIndividualsAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree anIndividual, ManchesterOWLSyntaxTree anotherIndividual)
Type	SymbolTable.getSameIndividualsAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree anIndividual, ManchesterOWLSyntaxTree anotherIndividual)
org.semanticweb.owlapi.model.OWLObject	SymbolTable.getSomeValueRestriction(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
Type	SymbolTable.getSomeValueRestrictionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getSubClassAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree subClass, ManchesterOWLSyntaxTree superClass)
Type	SymbolTable.getSubClassAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree subClass, ManchesterOWLSyntaxTree superClass)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getSubPropertyAxiom(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree subProperty, ManchesterOWLSyntaxTree superProperty)
Type	SymbolTable.getSubPropertyAxiomType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree subProperty, ManchesterOWLSyntaxTree superProperty)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getSymmetricProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
Type	SymbolTable.getSymmetricPropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
org.semanticweb.owlapi.model.OWLAxiom	SymbolTable.getTransitiveProperty(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
Type	SymbolTable.getTransitivePropertyType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree p)
org.semanticweb.owlapi.model.OWLClassExpression	SymbolTable.getValueRestriction(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree value)
Type	SymbolTable.getValueRestrictionType(org.antlr.runtime.tree.CommonTree expression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree value)
void	SymbolTable.reportIncompatibleSymbolType(ManchesterOWLSyntaxTree tree, org.antlr.runtime.tree.CommonTree parentExpression)
protected void	SymbolTable.reportUnrecognisedSymbol(ManchesterOWLSyntaxTree node)
Symbol	SymbolTable.resolve(ManchesterOWLSyntaxTree node)
Symbol	SymbolTable.resolveIRI(ManchesterOWLSyntaxTree node)

Method parameters in org.coode.parsers with type arguments of type ManchesterOWLSyntaxTree

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLHasKeyAxiom	SymbolTable.getHasKey(ManchesterOWLSyntaxTree node, Set<ManchesterOWLSyntaxTree> propertyExpressions)
Type	SymbolTable.getHasKeyType(ManchesterOWLSyntaxTree node, Set<ManchesterOWLSyntaxTree> propertyExpressions)

Uses of ManchesterOWLSyntaxTree in org.coode.parsers.oppl

Subclasses of ManchesterOWLSyntaxTree in org.coode.parsers.oppl

Modifier and Type	Class and Description
class	OPPLSyntaxTree

Fields in org.coode.parsers.oppl declared as ManchesterOWLSyntaxTree

Modifier and Type	Field and Description
ManchesterOWLSyntaxTree	OPPLTypeEnforcement.axiom_return.node
ManchesterOWLSyntaxTree	OPPLTypeEnforcement.expression_return.node
ManchesterOWLSyntaxTree	OPPLTypeEnforcement.conjunction_return.node
ManchesterOWLSyntaxTree	OPPLTypeEnforcement.unary_return.node
ManchesterOWLSyntaxTree	OPPLTypeEnforcement.propertyExpression_return.node
ManchesterOWLSyntaxTree	OPPLTypeEnforcement.complexPropertyExpression_return.node
ManchesterOWLSyntaxTree	OPPLTypeEnforcement.qualifiedRestriction_return.node
ManchesterOWLSyntaxTree	OPPLTypeEnforcement.cardinalityRestriction_return.node
ManchesterOWLSyntaxTree	OPPLTypeEnforcement.oneOf_return.node
ManchesterOWLSyntaxTree	OPPLTypeEnforcement.valueRestriction_return.node

Methods in org.coode.parsers.oppl with parameters of type ManchesterOWLSyntaxTree

Modifier and Type	Method and Description
OPPLFunction<String>	OPPLSymbolTable.defineGroupAttributeReferenceSymbol(OPPLSyntaxTree variableSyntaxTree, ManchesterOWLSyntaxTree indexNode, ConstraintSystem constraintSystem)
void	OPPLSymbolTable.defineVariable(ManchesterOWLSyntaxTree identifier, ManchesterOWLSyntaxTree variableType, ConstraintSystem constraintSystem)
void	TypesEnforcer.enforceAllValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	DefaultTypeEnforcer.enforceAllValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	TypesEnforcer.enforceConjunctionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... conjuncts)
void	TypesEnforcer.enforceConjunctionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... conjuncts)
void	DefaultTypeEnforcer.enforceConjunctionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... conjuncts)
void	DefaultTypeEnforcer.enforceConjunctionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... conjuncts)
void	TypesEnforcer.enforceDifferentIndividualsAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree anIndividual, OPPLSyntaxTree anotherIndividual)
void	DefaultTypeEnforcer.enforceDifferentIndividualsAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree anIndividual, OPPLSyntaxTree anotherIndividual)
void	TypesEnforcer.enforceDisjointWithAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
void	DefaultTypeEnforcer.enforceDisjointWithAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
void	TypesEnforcer.enforceDisjunctionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... disjuncts)
void	TypesEnforcer.enforceDisjunctionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... disjuncts)
void	DefaultTypeEnforcer.enforceDisjunctionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... disjuncts)
void	DefaultTypeEnforcer.enforceDisjunctionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... disjuncts)
void	TypesEnforcer.enforceDomainAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p, ManchesterOWLSyntaxTree classDescription)
void	DefaultTypeEnforcer.enforceDomainAxiomTypes(ManchesterOWLSyntaxTree parentExpression, OPPLSyntaxTree p, ManchesterOWLSyntaxTree classDescription)
void	TypesEnforcer.enforceEquivalentToAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
void	DefaultTypeEnforcer.enforceEquivalentToAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree lhs, ManchesterOWLSyntaxTree rhs)
void	TypesEnforcer.enforceExactCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	DefaultTypeEnforcer.enforceExactCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
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.enforceInverseObjectPropertyTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree p)
void	DefaultTypeEnforcer.enforceInverseObjectPropertyTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree 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.enforceMaxCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	DefaultTypeEnforcer.enforceMaxCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	TypesEnforcer.enforceMinCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	DefaultTypeEnforcer.enforceMinCardinalityRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	TypesEnforcer.enforceNegatedAssertionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree assertion)
void	DefaultTypeEnforcer.enforceNegatedAssertionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree assertion)
void	TypesEnforcer.enforceNegatedClassExpression(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree classExpression)
void	DefaultTypeEnforcer.enforceNegatedClassExpression(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree classExpression)
void	TypesEnforcer.enforceOneOfTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... individuals)
void	TypesEnforcer.enforceOneOfTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... individuals)
void	DefaultTypeEnforcer.enforceOneOfTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... individuals)
void	DefaultTypeEnforcer.enforceOneOfTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... individuals)
void	TypesEnforcer.enforcePropertyChainTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... propertyExpressions)
void	TypesEnforcer.enforcePropertyChainTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... propertyExpressions)
void	DefaultTypeEnforcer.enforcePropertyChainTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... propertyExpressions)
void	DefaultTypeEnforcer.enforcePropertyChainTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree... propertyExpressions)
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.enforceSomeValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	DefaultTypeEnforcer.enforceSomeValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree filler)
void	TypesEnforcer.enforceSubClassOfAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree subClass, ManchesterOWLSyntaxTree superClass)
void	DefaultTypeEnforcer.enforceSubClassOfAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree subClass, ManchesterOWLSyntaxTree superClass)
void	TypesEnforcer.enforceSubPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree aProperty, ManchesterOWLSyntaxTree anotherProperty)
void	DefaultTypeEnforcer.enforceSubPropertyAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree aProperty, ManchesterOWLSyntaxTree anotherProperty)
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)
protected void	DefaultTypeEnforcer.enforceType(ManchesterOWLSyntaxTree t, OWLType type) This method enforces a type only on to symbols that have been marked as create on demand ones.
void	TypesEnforcer.enforceTypeAssertionAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree classDescription, OPPLSyntaxTree subject)
void	DefaultTypeEnforcer.enforceTypeAssertionAxiomTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree classDescription, OPPLSyntaxTree subject)
void	TypesEnforcer.enforceValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree value)
void	DefaultTypeEnforcer.enforceValueRestrictionTypes(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression, ManchesterOWLSyntaxTree value)
Type	OPPLSymbolTable.getClassVariableScopeType(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree classExpression)
Type	OPPLSymbolTable.getExpressionGeneratedVariableType(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree variableType, ManchesterOWLSyntaxTree expression)
Type	OPPLSymbolTable.getIndividualVariableScopeType(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree individualExpression)
Type	OPPLSymbolTable.getPropertyVariableScopeType(ManchesterOWLSyntaxTree parentExpression, ManchesterOWLSyntaxTree propertyExpression)
VariableType<?>	OPPLSymbolTable.getVariableType(ManchesterOWLSyntaxTree variableType)