Uses of Interface
uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx

Packages that use DLAxiomVisitorEx

Package	Description
uk.ac.manchester.cs.jfact.kernel.dl.axioms

Uses of DLAxiomVisitorEx in uk.ac.manchester.cs.jfact.kernel.dl.axioms

Methods in uk.ac.manchester.cs.jfact.kernel.dl.axioms with parameters of type DLAxiomVisitorEx

Modifier and Type	Method and Description
<O> O	AxiomValueOfNot.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomValueOf.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomSameIndividuals.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomRoleTransitive.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomRoleSymmetric.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomRoleReflexive.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomRoleIrreflexive.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomRoleInverseFunctional.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomRoleInverse.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomRoleAsymmetric.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomRelatedToNot.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomRelatedTo.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomORoleSubsumption.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomORoleRange.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomORoleFunctional.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomORoleDomain.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomInstanceOf.accept(DLAxiomVisitorEx<O> visitor)
abstract <O> O	AxiomImpl.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomFairnessConstraint.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomEquivalentORoles.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomEquivalentDRoles.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomEquivalentConcepts.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomDRoleSubsumption.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomDRoleRange.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomDRoleFunctional.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomDRoleDomain.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomDisjointUnion.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomDisjointORoles.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomDisjointDRoles.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomDisjointConcepts.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomDifferentIndividuals.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomDeclaration.accept(DLAxiomVisitorEx<O> visitor)
<O> O	AxiomConceptInclusion.accept(DLAxiomVisitorEx<O> visitor)