com.articulate.sigma.trans

Class SUMOKBtoTPTPKB.OrderedFormulae

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.TreeSet<Formula>

com.articulate.sigma.trans.SUMOKBtoTPTPKB.OrderedFormulae

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<Formula>, java.util.Collection<Formula>, java.util.NavigableSet<Formula>, java.util.Set<Formula>, java.util.SortedSet<Formula>

Enclosing class:

SUMOKBtoTPTPKB

public class SUMOKBtoTPTPKB.OrderedFormulae
extends java.util.TreeSet<Formula>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OrderedFormulae()

Method Summary

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

Methods inherited from class java.util.TreeSet

add, addAll, 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.Set

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

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

OrderedFormulae

public OrderedFormulae()

Method Detail

compare

public int compare(java.lang.Object o1,
                   java.lang.Object o2)