org.coode.patterns.locality

Class SigmaPlusSigmaMinus

java.lang.Object

java.util.AbstractCollection<org.semanticweb.owlapi.model.OWLEntity>

org.coode.patterns.locality.SigmaPlusSigmaMinus

All Implemented Interfaces:

Iterable<org.semanticweb.owlapi.model.OWLEntity>, Collection<org.semanticweb.owlapi.model.OWLEntity>

public class SigmaPlusSigmaMinus
extends AbstractCollection<org.semanticweb.owlapi.model.OWLEntity>
implements Collection<org.semanticweb.owlapi.model.OWLEntity>

holder for the extra symbols, one to be added to the signature, one to stay outside the signature

Constructor Summary

Constructors

Constructor and Description
SigmaPlusSigmaMinus(org.semanticweb.owlapi.model.OWLEntity plus, org.semanticweb.owlapi.model.OWLEntity minus)

Method Summary

Methods

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLEntity	getMinus()
org.semanticweb.owlapi.model.OWLEntity	getPlus()
Iterator<org.semanticweb.owlapi.model.OWLEntity>	iterator()
int	size()

Methods inherited from class java.util.AbstractCollection

add, addAll, clear, contains, containsAll, isEmpty, remove, removeAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Collection

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, remove, removeAll, retainAll, toArray, toArray

Constructor Detail

SigmaPlusSigmaMinus

public SigmaPlusSigmaMinus(org.semanticweb.owlapi.model.OWLEntity plus,
                   org.semanticweb.owlapi.model.OWLEntity minus)

Parameters:

plus - the new value contained in the signature

minus - the new value not contained in the signature

Method Detail

iterator

public Iterator<org.semanticweb.owlapi.model.OWLEntity> iterator()

Specified by:

iterator in interface Iterable<org.semanticweb.owlapi.model.OWLEntity>

Specified by:

iterator in interface Collection<org.semanticweb.owlapi.model.OWLEntity>

Specified by:

iterator in class AbstractCollection<org.semanticweb.owlapi.model.OWLEntity>

size

public int size()

Specified by:

size in interface Collection<org.semanticweb.owlapi.model.OWLEntity>

Specified by:

size in class AbstractCollection<org.semanticweb.owlapi.model.OWLEntity>

getPlus

public org.semanticweb.owlapi.model.OWLEntity getPlus()

Returns:

plus entity

getMinus

public org.semanticweb.owlapi.model.OWLEntity getMinus()

Returns:

minus entity