Uses of Class
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointUnion

Packages that use AxiomDisjointUnion

Package	Description
uk.ac.manchester.cs.jfact.elf
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.split
uk.ac.manchester.cs.jfact.visitors

Uses of AxiomDisjointUnion in uk.ac.manchester.cs.jfact.elf

Methods in uk.ac.manchester.cs.jfact.elf with parameters of type AxiomDisjointUnion

Modifier and Type	Method and Description
void	ELFNormalizer.visit(AxiomDisjointUnion axiom) the only legal one contains a single element, so is C = D
void	ELFAxiomChecker.visit(AxiomDisjointUnion axiom)

Uses of AxiomDisjointUnion in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type AxiomDisjointUnion

Modifier and Type	Method and Description
void	OntologyLoader.visit(AxiomDisjointUnion axiom)

Uses of AxiomDisjointUnion in uk.ac.manchester.cs.jfact.split

Methods in uk.ac.manchester.cs.jfact.split with parameters of type AxiomDisjointUnion

Modifier and Type	Method and Description
void	TSignatureUpdater.visit(AxiomDisjointUnion axiom)
void	SyntacticLocalityChecker.visit(AxiomDisjointUnion axiom)
void	SemanticLocalityChecker.visit(AxiomDisjointUnion axiom) FIXME!! fornow

Uses of AxiomDisjointUnion in uk.ac.manchester.cs.jfact.visitors

Methods in uk.ac.manchester.cs.jfact.visitors with parameters of type AxiomDisjointUnion

Modifier and Type	Method and Description
A	DLAxiomVisitorExAdapter.visit(AxiomDisjointUnion axiom)
O	DLAxiomVisitorEx.visit(AxiomDisjointUnion axiom)
void	DLAxiomVisitorAdapter.visit(AxiomDisjointUnion axiom)
void	DLAxiomVisitor.visit(AxiomDisjointUnion axiom)