T - The actual class of the formulas stored in this interpretationpublic abstract class InterpretationSet<T extends Formula> extends AbstractInterpretation implements Collection<T>
| Constructor and Description |
|---|
InterpretationSet()
Creates a new empty interpretation.
|
InterpretationSet(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(Collection<? extends T> c) |
void |
clear() |
boolean |
contains(Object o) |
boolean |
containsAll(Collection<?> c) |
boolean |
equals(Object obj) |
int |
hashCode() |
boolean |
isEmpty() |
Iterator<T> |
iterator() |
boolean |
remove(Object o) |
boolean |
removeAll(Collection<?> c) |
boolean |
retainAll(Collection<?> c) |
int |
size() |
Object[] |
toArray() |
<S> S[] |
toArray(S[] a) |
String |
toString() |
satisfiesclone, finalize, getClass, notify, notifyAll, wait, wait, waitparallelStream, removeIf, spliterator, streamsatisfies, satisfiespublic InterpretationSet()
public InterpretationSet(Collection<? extends T> formulas)
formulas - a collection of formulaspublic boolean add(T e)
add in interface Collection<T extends Formula>public boolean addAll(Collection<? extends T> c)
addAll in interface Collection<T extends Formula>public void clear()
clear in interface Collection<T extends Formula>public boolean contains(Object o)
contains in interface Collection<T extends Formula>public boolean containsAll(Collection<?> c)
containsAll in interface Collection<T extends Formula>public boolean isEmpty()
isEmpty in interface Collection<T extends Formula>public boolean remove(Object o)
remove in interface Collection<T extends Formula>public boolean removeAll(Collection<?> c)
removeAll in interface Collection<T extends Formula>public boolean retainAll(Collection<?> c)
retainAll in interface Collection<T extends Formula>public int size()
size in interface Collection<T extends Formula>public Object[] toArray()
toArray in interface Collection<T extends Formula>public <S> S[] toArray(S[] a)
toArray in interface Collection<T extends Formula>public int hashCode()
public boolean equals(Object obj)
Copyright © 2018. All rights reserved.