public final class ConsideredStatesStoreImpl extends java.lang.Object implements ConsideredStatesStore
Constructor and Description |
---|
ConsideredStatesStoreImpl(it.unimi.dsi.fastutil.Hash.Strategy<DRecord> hashStrategy,
int initialCapacity) |
Modifier and Type | Method and Description |
---|---|
void |
add(DRecord record) |
boolean |
contains(DRecord record) |
public ConsideredStatesStoreImpl(it.unimi.dsi.fastutil.Hash.Strategy<DRecord> hashStrategy, int initialCapacity)
public void add(DRecord record)
add
in interface ConsideredStatesStore
public boolean contains(DRecord record)
contains
in interface ConsideredStatesStore