uk.ac.manchester.cs.jfact.split

Class TOntologyAtom

java.lang.Object

uk.ac.manchester.cs.jfact.split.TOntologyAtom

@PortedFrom(file="tOntologyAtom.h",
            name="TOntologyAtom")
public class TOntologyAtom
extends Object

Constructor Summary

Constructors

Constructor and Description
TOntologyAtom()

Method Summary

Methods

Modifier and Type	Method and Description
void	addAxiom(Axiom ax) add axiom AX to an atom
void	addDepAtom(TOntologyAtom atom) add atom to the dependency set
void	buildAllDepAtoms(Set<TOntologyAtom> checked) build all dep atoms; filter them from DepAtoms
void	filterDep() remove all atoms in AllDepAtoms from DepAtoms
Set<TOntologyAtom>	getAllDepAtoms(Set<TOntologyAtom> checked) get all the atoms the current one depends on; build this set if necessary
Set<Axiom>	getAtomAxioms() get all the atom's axioms
Set<TOntologyAtom>	getDepAtoms() get atoms a given one depends on
int	getId() get the value of the id
Set<Axiom>	getModule() get all the module axioms
void	setId(int id) set the value of the id to ID
void	setModule(Collection<Axiom> module) set the module axioms

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TOntologyAtom

public TOntologyAtom()

Method Detail

filterDep

@PortedFrom(file="tOntologyAtom.h",
            name="filterDep")
public void filterDep()

remove all atoms in AllDepAtoms from DepAtoms

buildAllDepAtoms

@PortedFrom(file="tOntologyAtom.h",
            name="buildAllDepAtoms")
public void buildAllDepAtoms(Set<TOntologyAtom> checked)

build all dep atoms; filter them from DepAtoms

setModule

@PortedFrom(file="tOntologyAtom.h",
            name="setModule")
public void setModule(Collection<Axiom> module)

set the module axioms

addAxiom

@PortedFrom(file="tOntologyAtom.h",
            name="addAxiom")
public void addAxiom(Axiom ax)

add axiom AX to an atom

addDepAtom

@PortedFrom(file="tOntologyAtom.h",
            name="addDepAtom")
public void addDepAtom(TOntologyAtom atom)

add atom to the dependency set

getAllDepAtoms

@PortedFrom(file="tOntologyAtom.h",
            name="getAllDepAtoms")
public Set<TOntologyAtom> getAllDepAtoms(Set<TOntologyAtom> checked)

get all the atoms the current one depends on; build this set if necessary

getAtomAxioms

@PortedFrom(file="tOntologyAtom.h",
            name="getAtomAxioms")
public Set<Axiom> getAtomAxioms()

get all the atom's axioms

getModule

@PortedFrom(file="tOntologyAtom.h",
            name="getModule")
public Set<Axiom> getModule()

get all the module axioms

getDepAtoms

@PortedFrom(file="tOntologyAtom.h",
            name="getDepAtoms")
public Set<TOntologyAtom> getDepAtoms()

get atoms a given one depends on

getId

@PortedFrom(file="tOntologyAtom.h",
            name="getId")
public int getId()

get the value of the id

setId

@PortedFrom(file="tOntologyAtom.h",
            name="setId")
public void setId(int id)

set the value of the id to ID