uk.ac.manchester.cs.jfact.split

Class TOntologyAtom

java.lang.Object

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

All Implemented Interfaces:

Serializable, Comparable<TOntologyAtom>

@PortedFrom(file="tOntologyAtom.h",
            name="TOntologyAtom")
public class TOntologyAtom
extends Object
implements Comparable<TOntologyAtom>, Serializable

ontology atom

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TOntologyAtom()

Method Summary

Methods

Modifier and Type	Method and Description
void	addAxiom(AxiomInterface 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
int	compareTo(TOntologyAtom arg1)
void	filterDep() remove all atoms in AllDepAtoms from DepAtoms
Set<TOntologyAtom>	getAllDepAtoms(Set<TOntologyAtom> checked)
Set<AxiomInterface>	getAtomAxioms()
Set<TOntologyAtom>	getDepAtoms()
int	getId()
Set<AxiomInterface>	getModule()
void	setId(int id) set the value of the id to ID
void	setModule(Collection<AxiomInterface> module) set the module axioms

Methods inherited from class java.lang.Object

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

Constructor Detail

TOntologyAtom

public TOntologyAtom()

Method Detail

compareTo

public int compareTo(TOntologyAtom arg1)

Specified by:

compareTo in interface Comparable<TOntologyAtom>

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

Parameters:

checked - checked

setModule

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

set the module axioms

Parameters:

module - module

addAxiom

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

add axiom AX to an atom

Parameters:

ax - ax

addDepAtom

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

add atom to the dependency set

Parameters:

atom - atom

getAllDepAtoms

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

Parameters:

checked - checked

Returns:

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

getAtomAxioms

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

Returns:

all the atom's axioms

getModule

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

Returns:

all the module axioms

getDepAtoms

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

Returns:

atoms a given one depends on

getId

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

Returns:

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

Parameters:

id - id