uk.ac.manchester.cs.atomicdecomposition

Class Atom

java.lang.Object

uk.ac.manchester.cs.atomicdecomposition.Atom

public class Atom
extends Object

An atom in the atomic decomposition

Constructor Summary

Constructors

Constructor and Description
Atom(Collection<OWLAxiom> axioms)

Method Summary

Modifier and Type	Method and Description
boolean	contains(OWLAxiom ax)
boolean	equals(Object obj)
Collection<OWLAxiom>	getAxioms()
Collection<OWLEntity>	getLabel()
Collection<OWLEntity>	getSignature()
int	hashCode()
void	setLabel(Collection<OWLEntity> labelSignature)
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Atom

public Atom(Collection<OWLAxiom> axioms)

Parameters:

axioms - build an atom out of a set of axioms

Method Detail

contains

public boolean contains(OWLAxiom ax)

Parameters:

ax - axiom

Returns:

true if ax is in this atom

getSignature

public Collection<OWLEntity> getSignature()

Returns:

signature for the atom

getAxioms

public Collection<OWLAxiom> getAxioms()

Returns:

axioms in the atom

getLabel

@Nullable
public Collection<OWLEntity> getLabel()

Returns:

label for the atom

setLabel

public void setLabel(Collection<OWLEntity> labelSignature)

Parameters:

labelSignature - the label for the atom

equals

public boolean equals(@Nullable
                      Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object