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) get a set of atoms on which atom with index INDEX depends

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	Axiom.getAtom()

Methods in uk.ac.manchester.cs.jfact.kernel.dl.interfaces 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.split

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

Modifier and Type	Method and Description
TOntologyAtom	AOStructure.get(int index) get RW atom by its index
TOntologyAtom	AOStructure.newAtom() create a new atom and get a pointer to it

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

Modifier and Type	Method and Description
List<TOntologyAtom>	AOStructure.begin() RW iterator begin
Set<TOntologyAtom>	TOntologyAtom.getAllDepAtoms(Set<TOntologyAtom> checked) get all the atoms the current one depends on; build this set if necessary
Set<TOntologyAtom>	TOntologyAtom.getDepAtoms() get atoms a given one depends on

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

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) get all the atoms the current one depends on; build this set if necessary