T
- The actual class of the formulas stored in this interpretationpublic abstract class InterpretationSet<T extends Formula> extends AbstractInterpretation implements java.util.Collection<T>
Modifier and Type | Field and Description |
---|---|
private java.util.Set<T> |
formulas
The set of formulas of this interpretation.
|
Constructor and Description |
---|
InterpretationSet()
Creates a new empty interpretation.
|
InterpretationSet(java.util.Collection<? extends T> formulas)
Creates a new interpretation with the given collection of formulas.
|
Modifier and Type | Method and Description |
---|---|
boolean |
add(T e) |
boolean |
addAll(java.util.Collection<? extends T> c) |
void |
clear() |
boolean |
contains(java.lang.Object o) |
boolean |
containsAll(java.util.Collection<?> c) |
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
boolean |
isEmpty() |
java.util.Iterator<T> |
iterator() |
boolean |
remove(java.lang.Object o) |
boolean |
removeAll(java.util.Collection<?> c) |
boolean |
retainAll(java.util.Collection<?> c) |
int |
size() |
java.lang.Object[] |
toArray() |
<S> S[] |
toArray(S[] a) |
java.lang.String |
toString() |
satisfies
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
satisfies, satisfies
public InterpretationSet()
public InterpretationSet(java.util.Collection<? extends T> formulas)
formulas
- a collection of formulaspublic boolean addAll(java.util.Collection<? extends T> c)
public boolean contains(java.lang.Object o)
public boolean containsAll(java.util.Collection<?> c)
public boolean isEmpty()
public java.util.Iterator<T> iterator()
public boolean remove(java.lang.Object o)
public boolean removeAll(java.util.Collection<?> c)
public boolean retainAll(java.util.Collection<?> c)
public java.lang.Object[] toArray()
public <S> S[] toArray(S[] a)
public int hashCode()
public boolean equals(java.lang.Object obj)
public java.lang.String toString()
toString
in class java.lang.Object