public class OntologyAtom extends Object
Constructor and Description |
---|
OntologyAtom() |
Modifier and Type | Method and Description |
---|---|
void |
addAxiom(AxiomWrapper ax) |
void |
addAxioms(Collection<AxiomWrapper> axs) |
void |
addDepAtom(OntologyAtom atom) |
void |
buildAllDepAtoms(Set<OntologyAtom> checked)
build all dep atoms; filter them from DepAtoms
|
void |
filterDep()
remove all atoms in AllDepAtoms from DepAtoms
|
Set<OntologyAtom> |
getAllDepAtoms(Set<OntologyAtom> checked)
get all the atoms the current one depends on; build this set if necessary
|
List<AxiomWrapper> |
getAtomAxioms() |
Set<OntologyAtom> |
getDependencies() |
int |
getId() |
List<AxiomWrapper> |
getModule() |
void |
setId(int id) |
void |
setModule(Collection<AxiomWrapper> module)
set the module axioms
|
public void filterDep()
public void buildAllDepAtoms(Set<OntologyAtom> checked)
checked
- sets of atoms to checkpublic void addAxiom(AxiomWrapper ax)
ax
- axiom to add to the atompublic void addAxioms(Collection<AxiomWrapper> axs)
axs
- axioms to add to the atompublic void addDepAtom(@Nullable OntologyAtom atom)
atom
- add atom to the dependency setpublic Set<OntologyAtom> getAllDepAtoms(Set<OntologyAtom> checked)
checked
- atoms to checkpublic List<AxiomWrapper> getAtomAxioms()
public List<AxiomWrapper> getModule()
public void setModule(Collection<AxiomWrapper> module)
module
- the module axiomspublic Set<OntologyAtom> getDependencies()
public int getId()
public void setId(int id)
id
- the id valueCopyright © 2020 The University of Manchester. All rights reserved.