public static interface Proof.Delta.Set
| Modifier and Type | Method and Description |
|---|---|
Proof.Delta.Set |
add(Formula truth)
Add a truth to this set.
|
boolean |
contains(Formula truth)
Check whether the given formula is contained within this set or
not.
|
Formula |
get(int ith)
Get the ith truth in this set
|
Proof.Delta.Set |
remove(Formula truth)
Remove a formula from this set
|
Proof.Delta.Set |
remove(Proof.Delta.Set other)
Remove the elements of one set from this
|
int |
size()
Determine the number of truths in this set
|
Proof.Delta.Set |
union(Proof.Delta.Set other)
Union two sets together
|
int size()
boolean contains(Formula truth)
truth - Formula get(int ith)
ith - Proof.Delta.Set add(Formula truth)
truth - Proof.Delta.Set remove(Formula truth)
truth - Proof.Delta.Set union(Proof.Delta.Set other)
other - Proof.Delta.Set remove(Proof.Delta.Set other)
other - Copyright © 2017. All rights reserved.