|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbaobab.util.CompressibleSortedSet<T>
baobab.util.FreezableCompressibleSortedSet<Trace>
baobab.trace.TraceSortedSet
baobab.trace.SubTraceSortedSet
public class SubTraceSortedSet
The SubTraceSortedSet class represents a sorted set of subtraces (all subtraces have the same number of elements). The intern organization of this set allows automatic compression of its data.
Field Summary |
---|
Constructor Summary | |
---|---|
SubTraceSortedSet(java.lang.String workDir,
int elementSize,
int elementsByRule,
int x,
int y,
int z,
double balance,
int numberOfConstraints)
|
Method Summary |
---|
Methods inherited from class baobab.trace.TraceSortedSet |
---|
addElement, clear, freezeUntilHeight, getMinimumTraceWithHeight, getSolutionsByHeight, getTracesByHeight, getTracesByWidth, removeElement, setSolutionsByHeight, setTracesByHeight, setTracesByWidth |
Methods inherited from class baobab.util.FreezableCompressibleSortedSet |
---|
descendingIterator, firstElement, freeze, freeze, freezeAfterElement, freezeAfterElement, freezeUntilElement, freezeUntilElement, hasRestored, iterator, lastElement, removeFirstFrozen, removeLastFrozen, restore, restoreNext, toString, unfreeze |
Methods inherited from class baobab.util.CompressibleSortedSet |
---|
clear, flushLastDecompressionResult, isEmpty, isResolved, notResolvedSize, resolve, resolvedSize, searchElement |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public SubTraceSortedSet(java.lang.String workDir, int elementSize, int elementsByRule, int x, int y, int z, double balance, int numberOfConstraints)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |