Uses of Class
uk.ac.manchester.cs.jfact.split.TOntologyAtom

Packages that use TOntologyAtom

Package	Description
uk.ac.manchester.cs.jfact
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.dl.interfaces
uk.ac.manchester.cs.jfact.split

Uses of TOntologyAtom in uk.ac.manchester.cs.jfact

Methods in uk.ac.manchester.cs.jfact that return types with arguments of type TOntologyAtom

Modifier and Type	Method and Description
Set<TOntologyAtom>	JFactReasoner.getAtomDependents(int index)

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

Methods in uk.ac.manchester.cs.jfact.kernel that return TOntologyAtom

Modifier and Type	Method and Description
TOntologyAtom	Axiom.getAtom()

Methods in uk.ac.manchester.cs.jfact.kernel that return types with arguments of type TOntologyAtom

Modifier and Type	Method and Description
Set<TOntologyAtom>	ReasoningKernel.getAtomDependents(int index) get a set of atoms on which atom with index INDEX depends

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

Modifier and Type	Method and Description
void	Axiom.setAtom(TOntologyAtom atom)

Uses of TOntologyAtom in uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Methods in uk.ac.manchester.cs.jfact.kernel.dl.interfaces that return TOntologyAtom

Modifier and Type	Method and Description
TOntologyAtom	AxiomInterface.getAtom()

Methods in uk.ac.manchester.cs.jfact.kernel.dl.interfaces with parameters of type TOntologyAtom

Modifier and Type	Method and Description
void	AxiomInterface.setAtom(TOntologyAtom atom)

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

Methods in uk.ac.manchester.cs.jfact.split that return TOntologyAtom

Modifier and Type	Method and Description
TOntologyAtom	AOStructure.get(int index)
TOntologyAtom	AOStructure.newAtom()

Methods in uk.ac.manchester.cs.jfact.split that return types with arguments of type TOntologyAtom

Modifier and Type	Method and Description
Set<TOntologyAtom>	TOntologyAtom.getAllDepAtoms(Set<TOntologyAtom> checked)
List<TOntologyAtom>	AOStructure.getAtoms()
Set<TOntologyAtom>	TOntologyAtom.getDepAtoms()

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

Modifier and Type	Method and Description
void	TOntologyAtom.addDepAtom(TOntologyAtom atom) add atom to the dependency set
int	TOntologyAtom.compareTo(TOntologyAtom arg1)

Method parameters in uk.ac.manchester.cs.jfact.split with type arguments of type TOntologyAtom

Modifier and Type	Method and Description
void	TOntologyAtom.buildAllDepAtoms(Set<TOntologyAtom> checked) build all dep atoms; filter them from DepAtoms
Set<TOntologyAtom>	TOntologyAtom.getAllDepAtoms(Set<TOntologyAtom> checked)