Package com.articulate.sigma.trans

Class SUMOKBtoTPTPKB.OrderedFormulae

java.lang.Object

java.util.AbstractCollection<Formula>

java.util.AbstractSet<Formula>

java.util.TreeSet<Formula>

com.articulate.sigma.trans.SUMOKBtoTPTPKB.OrderedFormulae

All Implemented Interfaces:

Serializable, Cloneable, Iterable<Formula>, Collection<Formula>, NavigableSet<Formula>, SequencedCollection<Formula>, SequencedSet<Formula>, Set<Formula>, SortedSet<Formula>

Enclosing class:

SUMOKBtoTPTPKB

public class SUMOKBtoTPTPKB.OrderedFormulae
extends TreeSet<Formula>

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
OrderedFormulae()

Method Summary

Modifier and Type	Method	Description
int	compare(Object o1, Object o2)

Methods inherited from class java.util.TreeSet

add, addAll, addFirst, addLast, ceiling, clear, clone, comparator, contains, descendingIterator, descendingSet, first, floor, headSet, headSet, higher, isEmpty, iterator, last, lower, pollFirst, pollLast, remove, size, spliterator, subSet, subSet, tailSet, tailSet

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.NavigableSet

removeFirst, removeLast, reversed

Methods inherited from interface java.util.Set

containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.SortedSet

getFirst, getLast

Constructor Details

OrderedFormulae

public OrderedFormulae()

Method Details

compare

public int compare(Object o1,
 Object o2)