Index

A B C D E F G H I K L M N O P R S T U V W
All Classes and Interfaces|All Packages|Constant Field Values

A

AbstractModelAdapterBuilder<T> - Class in tools.refinery.store.adapter

AbstractModelAdapterBuilder() - Constructor for class tools.refinery.store.adapter.AbstractModelAdapterBuilder

AbstractNeighborhoodCalculator<T> - Class in tools.refinery.store.statecoding.neighborhood

AbstractNeighborhoodCalculator(Model, IndividualsSet, int) - Constructor for class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

AdapterUtils - Class in tools.refinery.store.adapter

addHash(ObjectCodeImpl, int, long, long) - Method in class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

addListener(InterpretationListener<T>, boolean) - Method in class tools.refinery.store.model.internal.VersionedInterpretation

addListener(InterpretationListener<T>, boolean) - Method in interface tools.refinery.store.model.Interpretation

addListener(ModelListener) - Method in class tools.refinery.store.model.internal.ModelImpl

addListener(ModelListener) - Method in interface tools.refinery.store.model.Model

afterCommit() - Method in interface tools.refinery.store.model.ModelListener

afterRestore() - Method in interface tools.refinery.store.model.ModelListener

AnyInterpretation - Interface in tools.refinery.store.model

AnySymbol - Interface in tools.refinery.store.representation

AnyVersionedMap - Interface in tools.refinery.store.map

appendTransaction(MapDelta<K, V>[], MapTransaction<K, V>) - Method in class tools.refinery.store.map.internal.delta.VersionedMapStoreDeltaImpl

apply(ModelStoreBuilder) - Method in interface tools.refinery.store.model.ModelStoreConfiguration

APPROXIMATE_FAST - Enum constant in enum class tools.refinery.store.map.ContentHashCode

Compute an approximate hashCode of the contents of this AnyVersionedMap that may have a large number of hash collisions, but can be calculated without iterating over the full contents.

arity() - Method in record class tools.refinery.store.model.internal.SymbolEquivalenceClass

Returns the value of the arity record component.

arity() - Method in interface tools.refinery.store.representation.AnySymbol

arity() - Method in record class tools.refinery.store.representation.Symbol

Returns the value of the arity record component.

B

backward(List<MapDelta<K, V>[]>) - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

backward(MapDelta<K, V>[]) - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

beforeCommit() - Method in interface tools.refinery.store.model.ModelListener

beforeRestore(Version) - Method in interface tools.refinery.store.model.ModelListener

BRANCHING_FACTOR_BITS - Static variable in class tools.refinery.store.map.internal.state.Node

build() - Method in class tools.refinery.store.map.internal.VersionedMapStoreFactoryBuilderImpl

build() - Method in interface tools.refinery.store.map.VersionedMapStoreFactoryBuilder

build() - Method in class tools.refinery.store.model.internal.ModelStoreBuilderImpl

build() - Method in interface tools.refinery.store.model.ModelStoreBuilder

build(ModelStore) - Method in class tools.refinery.store.adapter.AbstractModelAdapterBuilder

build(ModelStore) - Method in interface tools.refinery.store.adapter.ModelAdapterBuilder

build(ModelStore) - Method in interface tools.refinery.store.statecoding.StateCoderBuilder

builder() - Static method in interface tools.refinery.store.map.VersionedMapStore

builder() - Static method in interface tools.refinery.store.model.ModelStore

builder() - Static method in interface tools.refinery.store.statecoding.StateCoderAdapter

C

cachedHashValid - Variable in class tools.refinery.store.map.internal.state.MutableNode

calculateCodes() - Method in class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

calculateCodes() - Method in interface tools.refinery.store.statecoding.StateCodeCalculator

calculateModelCode() - Method in interface tools.refinery.store.statecoding.StateCoderAdapter

calculateObjectCode() - Method in interface tools.refinery.store.statecoding.StateCoderAdapter

calculateStateCode() - Method in class tools.refinery.store.statecoding.internal.StateCoderAdapterImpl

calculateStateCode() - Method in interface tools.refinery.store.statecoding.StateCoderAdapter

cancellationToken(CancellationToken) - Method in class tools.refinery.store.model.internal.ModelStoreBuilderImpl

cancellationToken(CancellationToken) - Method in interface tools.refinery.store.model.ModelStoreBuilder

CancellationToken - Interface in tools.refinery.store.util

checkCancelled() - Method in class tools.refinery.store.model.internal.ModelImpl

checkCancelled() - Method in class tools.refinery.store.model.internal.ModelStoreImpl

checkCancelled() - Method in interface tools.refinery.store.model.Model

checkCancelled() - Method in interface tools.refinery.store.model.ModelStore

checkCancelled() - Method in interface tools.refinery.store.util.CancellationToken

checkConfigured() - Method in class tools.refinery.store.adapter.AbstractModelAdapterBuilder

checkEquivalence(Version, Version) - Method in class tools.refinery.store.statecoding.internal.StateCoderStoreAdapterImpl

checkEquivalence(Version, Version) - Method in interface tools.refinery.store.statecoding.StateCoderStoreAdapter

checkIntegrity() - Method in interface tools.refinery.store.map.AnyVersionedMap

Checks the integrity of the map, and throws an exception if an inconsistency is detected.

checkIntegrity() - Method in interface tools.refinery.store.map.internal.delta.UncommittedDeltaStore

checkIntegrity() - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

checkIntegrity() - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

checkIntegrity(ContinuousHashProvider<? super K>, V, int) - Method in class tools.refinery.store.map.internal.state.ImmutableNode

checkIntegrity(ContinuousHashProvider<? super K>, V, int) - Method in class tools.refinery.store.map.internal.state.MutableNode

checkIntegrity(ContinuousHashProvider<? super K>, V, int) - Method in class tools.refinery.store.map.internal.state.Node

checkNotConfigured() - Method in class tools.refinery.store.adapter.AbstractModelAdapterBuilder

clear() - Method in class tools.refinery.store.statecoding.neighborhood.ObjectCodeImpl

CollectionsUtil - Class in tools.refinery.store.util

CombinationNodePairing - Class in tools.refinery.store.statecoding.stateequivalence

commit() - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

commit() - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

commit() - Method in interface tools.refinery.store.map.Versioned

Saves the state of the object.

commit() - Method in class tools.refinery.store.model.internal.ModelImpl

commit(Node<K, V>, VersionedMapStateImpl<K, V>) - Method in class tools.refinery.store.map.internal.state.VersionedMapStoreStateImpl

COMMIT - Enum constant in enum class tools.refinery.store.model.internal.ModelAction

compare(K, K) - Method in interface tools.refinery.store.map.ContinuousHashProvider

compareDepth(InOrderMapCursor<K, V>, InOrderMapCursor<K, V>) - Static method in class tools.refinery.store.map.internal.state.InOrderMapCursor

Compares the depth of two cursors started on @VersionedMap of the same VersionedMapStore.

compareImmutableMutable(ImmutableNode<?, ?>, MutableNode<?, ?>) - Static method in class tools.refinery.store.map.internal.state.ImmutableNode

comparePosition(InOrderMapCursor<K, V>, InOrderMapCursor<K, V>) - Static method in class tools.refinery.store.map.internal.state.InOrderMapCursor

Compares the state of two cursors started on two VersionedMap of the same VersionedMapStore.

compareTo(Tuple) - Method in interface tools.refinery.store.tuple.Tuple

compareTo(Tuple) - Method in class tools.refinery.store.tuple.Tuple1

compareTo(Tuple) - Method in record class tools.refinery.store.tuple.Tuple2

compareTo(Tuple) - Method in record class tools.refinery.store.tuple.Tuple3

compareTo(Tuple) - Method in record class tools.refinery.store.tuple.Tuple4

configure(ModelStoreBuilder) - Method in class tools.refinery.store.adapter.AbstractModelAdapterBuilder

configure(ModelStoreBuilder) - Method in interface tools.refinery.store.adapter.ModelAdapterBuilder

constructMorphism(IndividualsSet, List<? extends AnyInterpretation>, ObjectCode, List<? extends AnyInterpretation>, ObjectCode) - Method in class tools.refinery.store.statecoding.stateequivalence.StateEquivalenceCheckerImpl

constructMorphism(IndividualsSet, List<? extends AnyInterpretation>, ObjectCode, List<? extends AnyInterpretation>, ObjectCode) - Method in interface tools.refinery.store.statecoding.StateEquivalenceChecker

constructNodePairing(IntSet, IntSet) - Static method in interface tools.refinery.store.statecoding.stateequivalence.NodePairing

content - Variable in class tools.refinery.store.map.internal.state.MutableNode

contentEquals(AnyVersionedMap) - Method in interface tools.refinery.store.map.AnyVersionedMap

contentEquals(AnyVersionedMap) - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

contentEquals(AnyVersionedMap) - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

contentHashCode(ContentHashCode) - Method in interface tools.refinery.store.map.AnyVersionedMap

contentHashCode(ContentHashCode) - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

contentHashCode(ContentHashCode) - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

ContentHashCode - Enum Class in tools.refinery.store.map

ContinuousHashProvider<K> - Interface in tools.refinery.store.map

A class representing an equivalence relation for a type K with a continuous hash function.

create(Model, List<? extends Interpretation<?>>, IndividualsSet) - Method in interface tools.refinery.store.statecoding.StateCodeCalculatorFactory

createEmptyModel() - Method in class tools.refinery.store.model.internal.ModelStoreImpl

createEmptyModel() - Method in interface tools.refinery.store.model.ModelStore

createGroup(int) - Method in class tools.refinery.store.map.internal.delta.DeltaBasedVersionedMapStoreFactory

createGroup(int) - Method in class tools.refinery.store.map.internal.state.StateBasedVersionedMapStoreFactory

createGroup(int) - Method in interface tools.refinery.store.map.VersionedMapStoreFactory

Constructs a group of VersionedMaps with the same configuration.

createMap() - Method in class tools.refinery.store.map.internal.delta.VersionedMapStoreDeltaImpl

createMap() - Method in class tools.refinery.store.map.internal.state.VersionedMapStoreStateImpl

createMap() - Method in interface tools.refinery.store.map.VersionedMapStore

createMap(Version) - Method in class tools.refinery.store.map.internal.delta.VersionedMapStoreDeltaImpl

createMap(Version) - Method in class tools.refinery.store.map.internal.state.VersionedMapStoreStateImpl

createMap(Version) - Method in interface tools.refinery.store.map.VersionedMapStore

createModelAdapter(Model) - Method in interface tools.refinery.store.adapter.ModelStoreAdapter

createModelAdapter(Model) - Method in class tools.refinery.store.statecoding.internal.StateCoderStoreAdapterImpl

createModelAdapter(Model) - Method in interface tools.refinery.store.statecoding.StateCoderStoreAdapter

createModelForState(Version) - Method in class tools.refinery.store.model.internal.ModelStoreImpl

createModelForState(Version) - Method in interface tools.refinery.store.model.ModelStore

createOne() - Method in class tools.refinery.store.map.internal.delta.DeltaBasedVersionedMapStoreFactory

createOne() - Method in class tools.refinery.store.map.internal.state.StateBasedVersionedMapStoreFactory

createOne() - Method in interface tools.refinery.store.map.VersionedMapStoreFactory

Constructs a new instance of VersionedMap.

createSharedVersionedMapStores(int, ContinuousHashProvider<K>, V) - Static method in class tools.refinery.store.map.internal.state.VersionedMapStoreStateImpl

createSharedVersionedMapStores(int, ContinuousHashProvider<K>, V, VersionedMapStoreStateConfiguration) - Static method in class tools.refinery.store.map.internal.state.VersionedMapStoreStateImpl

Cursor<K,V> - Interface in tools.refinery.store.map

CursorAsIterator<K,V,D> - Class in tools.refinery.store.map

CursorAsIterator(Cursor<K, V>, BiFunction<K, V, D>) - Constructor for class tools.refinery.store.map.CursorAsIterator

CursorAsIterator(Cursor<K, V>, BiFunction<K, V, D>, BiPredicate<K, V>) - Constructor for class tools.refinery.store.map.CursorAsIterator

Cursors - Class in tools.refinery.store.map

D

DEFAULT_DEPTH - Static variable in class tools.refinery.store.statecoding.neighborhood.NeighborhoodCalculator

defaultValue - Variable in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

defaultValue - Variable in class tools.refinery.store.map.internal.delta.VersionedMapStoreDeltaImpl

defaultValue - Variable in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

defaultValue - Variable in class tools.refinery.store.map.internal.state.VersionedMapStoreStateImpl

defaultValue() - Method in record class tools.refinery.store.model.internal.SymbolEquivalenceClass

Returns the value of the defaultValue record component.

defaultValue() - Method in record class tools.refinery.store.representation.Symbol

Returns the value of the defaultValue record component.

defaultValue(V) - Method in class tools.refinery.store.map.internal.VersionedMapStoreFactoryBuilderImpl

defaultValue(V) - Method in interface tools.refinery.store.map.VersionedMapStoreFactoryBuilder

DELTA - Enum constant in enum class tools.refinery.store.map.VersionedMapStoreFactoryBuilder.StoreStrategy

DeltaBasedVersionedMapStoreFactory<K,V> - Class in tools.refinery.store.map.internal.delta

DeltaBasedVersionedMapStoreFactory(V, VersionedMapStoreFactoryBuilder.DeltaTransactionStrategy) - Constructor for class tools.refinery.store.map.internal.delta.DeltaBasedVersionedMapStoreFactory

DeltaDiffCursor<K,V> - Class in tools.refinery.store.map.internal.delta

DeltaDiffCursor(List<MapDelta<K, V>[]>, List<MapDelta<K, V>[]>) - Constructor for class tools.refinery.store.map.internal.delta.DeltaDiffCursor

deltas() - Method in record class tools.refinery.store.map.internal.delta.MapTransaction

Returns the value of the deltas record component.

deltaTransactionStrategy(VersionedMapStoreFactoryBuilder.DeltaTransactionStrategy) - Method in class tools.refinery.store.map.internal.VersionedMapStoreFactoryBuilderImpl

deltaTransactionStrategy(VersionedMapStoreFactoryBuilder.DeltaTransactionStrategy) - Method in interface tools.refinery.store.map.VersionedMapStoreFactoryBuilder

depth() - Method in record class tools.refinery.store.map.internal.delta.MapTransaction

Returns the value of the depth record component.

DiffCursor<K,V> - Interface in tools.refinery.store.map

DIFFERENT - Enum constant in enum class tools.refinery.store.statecoding.StateEquivalenceChecker.EquivalenceResult

doBuild(ModelStore) - Method in class tools.refinery.store.adapter.AbstractModelAdapterBuilder

doBuild(ModelStore) - Method in class tools.refinery.store.statecoding.internal.StateCoderBuilderImpl

doConfigure(ModelStoreBuilder) - Method in class tools.refinery.store.adapter.AbstractModelAdapterBuilder

E

EFFECTIVE_BIT_MASK - Static variable in interface tools.refinery.store.map.ContinuousHashProvider

EFFECTIVE_BITS - Static variable in interface tools.refinery.store.map.ContinuousHashProvider

EFFECTIVE_BITS - Static variable in class tools.refinery.store.map.internal.state.Node

empty() - Static method in class tools.refinery.store.map.Cursors

EMPTY - Static variable in interface tools.refinery.store.statecoding.neighborhood.IndividualsSet

ensureSize(int) - Method in class tools.refinery.store.statecoding.neighborhood.ObjectCodeImpl

equals(Object) - Method in interface tools.refinery.store.map.AnyVersionedMap

Deprecated.

AnyVersionedMap instances are mutable, and it is inappropriate to use them as keys in hash-based collections. Use AnyVersionedMap.contentEquals(AnyVersionedMap) to compare two AnyVersionedMap instances by their contents.

equals(Object) - Method in record class tools.refinery.store.map.internal.delta.MapDelta

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.store.map.internal.delta.MapTransaction

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class tools.refinery.store.map.internal.state.ImmutableNode

equals(Object) - Method in class tools.refinery.store.map.internal.state.MutableNode

equals(Object) - Method in interface tools.refinery.store.map.Version

Equivalence of two Version.

equals(Object) - Method in record class tools.refinery.store.model.internal.SymbolEquivalenceClass

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.store.representation.Symbol

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.store.statecoding.StateCoderResult

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class tools.refinery.store.tuple.Tuple1

equals(Object) - Method in record class tools.refinery.store.tuple.Tuple2

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.store.tuple.Tuple3

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.store.tuple.Tuple4

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class tools.refinery.store.tuple.TupleN

exclude(AnySymbol) - Method in class tools.refinery.store.statecoding.internal.StateCoderBuilderImpl

exclude(AnySymbol) - Method in interface tools.refinery.store.statecoding.StateCoderBuilder

excludeAll(Collection<? extends AnySymbol>) - Method in interface tools.refinery.store.statecoding.StateCoderBuilder

excludeAll(AnySymbol...) - Method in interface tools.refinery.store.statecoding.StateCoderBuilder

extractAndDeleteDeltas() - Method in class tools.refinery.store.map.internal.delta.UncommittedDeltaArrayStore

extractAndDeleteDeltas() - Method in class tools.refinery.store.map.internal.delta.UncommittedDeltaMapStore

extractAndDeleteDeltas() - Method in interface tools.refinery.store.map.internal.delta.UncommittedDeltaStore

extractDeltas() - Method in class tools.refinery.store.map.internal.delta.UncommittedDeltaArrayStore

extractDeltas() - Method in class tools.refinery.store.map.internal.delta.UncommittedDeltaMapStore

extractDeltas() - Method in interface tools.refinery.store.map.internal.delta.UncommittedDeltaStore

F

FACTOR - Static variable in class tools.refinery.store.map.internal.state.Node

FACTOR_MASK - Static variable in class tools.refinery.store.map.internal.state.Node

FACTOR_SELECTION_BITS - Static variable in class tools.refinery.store.map.internal.state.Node

FACTOR_SELECTION_MASK - Static variable in class tools.refinery.store.map.internal.state.Node

factory() - Static method in class tools.refinery.store.statecoding.neighborhood.NeighborhoodCalculator

factory(int) - Static method in class tools.refinery.store.statecoding.neighborhood.NeighborhoodCalculator

filter(Iterable<T>, Predicate<T>) - Static method in class tools.refinery.store.util.CollectionsUtil

filter(Iterator<T>, Predicate<T>) - Static method in class tools.refinery.store.util.CollectionsUtil

forward(List<MapDelta<K, V>[]>) - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

forward(MapDelta<K, V>[]) - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

G

get(int) - Method in interface tools.refinery.store.statecoding.Morphism

get(int) - Method in class tools.refinery.store.statecoding.neighborhood.ObjectCodeImpl

get(int) - Method in interface tools.refinery.store.statecoding.ObjectCode

get(int) - Method in class tools.refinery.store.statecoding.stateequivalence.PermutationMorphism

get(int) - Method in interface tools.refinery.store.tuple.Tuple

get(int) - Method in class tools.refinery.store.tuple.Tuple0

get(int) - Method in class tools.refinery.store.tuple.Tuple1

get(int) - Method in record class tools.refinery.store.tuple.Tuple2

get(int) - Method in record class tools.refinery.store.tuple.Tuple3

get(int) - Method in record class tools.refinery.store.tuple.Tuple4

get(int) - Method in class tools.refinery.store.tuple.TupleN

get(K) - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

get(K) - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

get(K) - Method in interface tools.refinery.store.map.VersionedMap

get(Tuple) - Method in class tools.refinery.store.model.internal.VersionedInterpretation

get(Tuple) - Method in interface tools.refinery.store.model.Interpretation

getAdapter(Class<T>) - Method in class tools.refinery.store.model.internal.ModelImpl

getAdapter(Class<T>) - Method in class tools.refinery.store.model.internal.ModelStoreBuilderImpl

getAdapter(Class<T>) - Method in class tools.refinery.store.model.internal.ModelStoreImpl

getAdapter(Class<T>) - Method in interface tools.refinery.store.model.Model

getAdapter(Class<T>) - Method in interface tools.refinery.store.model.ModelStore

getAdapter(Class<T>) - Method in interface tools.refinery.store.model.ModelStoreBuilder

getAdapter(Collection<? super T>, Class<T>) - Static method in class tools.refinery.store.adapter.AdapterUtils

getAdjacent(int, int) - Method in interface tools.refinery.store.model.Interpretation

getAdjacentSize(int, int) - Method in interface tools.refinery.store.model.AnyInterpretation

getAll() - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

getAll() - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

getAll() - Method in interface tools.refinery.store.map.VersionedMap

getAll() - Method in class tools.refinery.store.model.internal.VersionedInterpretation

getAll() - Method in interface tools.refinery.store.model.Interpretation

getArity(T) - Method in class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

getArity(Interpretation<?>) - Method in class tools.refinery.store.statecoding.neighborhood.NeighborhoodCalculator

getCurrentDelta() - Method in class tools.refinery.store.map.internal.delta.DeltaDiffCursor

getCursor(T) - Method in class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

getCursor(Interpretation<?>) - Method in class tools.refinery.store.statecoding.neighborhood.NeighborhoodCalculator

getCursor(Symbol<T>) - Method in class tools.refinery.store.model.ModelDiffCursor

getDefaultValue() - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

getDefaultValue() - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

getDefaultValue() - Method in interface tools.refinery.store.map.VersionedMap

getDependingMaps() - Method in interface tools.refinery.store.map.Cursor

getDependingMaps() - Method in class tools.refinery.store.map.internal.delta.DeltaDiffCursor

getDependingMaps() - Method in class tools.refinery.store.map.internal.state.InOrderMapCursor

getDependingMaps() - Method in class tools.refinery.store.map.internal.state.MapCursor

getDependingMaps() - Method in class tools.refinery.store.map.internal.state.MapDiffCursor

getDependingMaps() - Method in class tools.refinery.store.map.IteratorAsCursor

getDiffCursor(Version) - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

getDiffCursor(Version) - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

getDiffCursor(Version) - Method in interface tools.refinery.store.map.VersionedMap

getDiffCursor(Version) - Method in class tools.refinery.store.model.internal.ModelImpl

getDiffCursor(Version) - Method in class tools.refinery.store.model.internal.VersionedInterpretation

getDiffCursor(Version) - Method in interface tools.refinery.store.model.Interpretation

getDiffCursor(Version) - Method in interface tools.refinery.store.model.Model

getDiffCursor(Version, Version) - Method in class tools.refinery.store.map.internal.delta.VersionedMapStoreDeltaImpl

getDiffCursor(Version, Version) - Method in class tools.refinery.store.map.internal.state.VersionedMapStoreStateImpl

getDiffCursor(Version, Version) - Method in interface tools.refinery.store.map.VersionedMapStore

getDiffCursor(Version, Version) - Method in class tools.refinery.store.model.internal.ModelStoreImpl

getDiffCursor(Version, Version) - Method in interface tools.refinery.store.model.ModelStore

getEffectiveHash(K, int) - Method in interface tools.refinery.store.map.ContinuousHashProvider

getEffectiveSize() - Method in class tools.refinery.store.statecoding.neighborhood.ObjectCodeImpl

getFromValue() - Method in interface tools.refinery.store.map.DiffCursor

getFromValue() - Method in class tools.refinery.store.map.internal.delta.DeltaDiffCursor

getFromValue() - Method in class tools.refinery.store.map.internal.state.MapDiffCursor

getHash(K, int) - Method in interface tools.refinery.store.map.ContinuousHashProvider

Provides a hash code for a object key with a given index.

getHash(Tuple, int) - Method in class tools.refinery.store.model.TupleHashProvider

getHashProvider() - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

getInternalVersion(Version, int) - Static method in class tools.refinery.store.model.internal.ModelVersion

getInterpretation(AnySymbol) - Method in interface tools.refinery.store.model.Model

getInterpretation(Symbol<T>) - Method in class tools.refinery.store.model.internal.ModelImpl

getInterpretation(Symbol<T>) - Method in interface tools.refinery.store.model.Model

getInterpretations() - Method in class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

getInterpretations() - Method in class tools.refinery.store.statecoding.neighborhood.NeighborhoodCalculator

getKey() - Method in interface tools.refinery.store.map.Cursor

getKey() - Method in class tools.refinery.store.map.internal.delta.DeltaDiffCursor

getKey() - Method in record class tools.refinery.store.map.internal.delta.MapDelta

getKey() - Method in class tools.refinery.store.map.internal.state.InOrderMapCursor

getKey() - Method in class tools.refinery.store.map.internal.state.MapCursor

getKey() - Method in class tools.refinery.store.map.internal.state.MapDiffCursor

getKey() - Method in class tools.refinery.store.map.IteratorAsCursor

getKey() - Method in class tools.refinery.store.map.IteratorBasedCursor

getModel() - Method in interface tools.refinery.store.adapter.ModelAdapter

getModel() - Method in interface tools.refinery.store.model.AnyInterpretation

getModel() - Method in class tools.refinery.store.model.internal.VersionedInterpretation

getModel() - Method in class tools.refinery.store.statecoding.internal.StateCoderAdapterImpl

getModel() - Method in class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

getNewValue() - Method in record class tools.refinery.store.map.internal.delta.MapDelta

getNullValue(T) - Method in class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

getNullValue(Interpretation<?>) - Method in class tools.refinery.store.statecoding.neighborhood.NeighborhoodCalculator

getOldValue() - Method in record class tools.refinery.store.map.internal.delta.MapDelta

getOldValue() - Method in class tools.refinery.store.map.internal.state.OldValueBox

getOrCreate(int) - Method in class tools.refinery.store.tuple.Tuple1.Cache

getPath(Version, List<MapDelta<K, V>[]>) - Method in class tools.refinery.store.map.internal.delta.VersionedMapStoreDeltaImpl

getPath(Version, Version, List<MapDelta<K, V>[]>, List<MapDelta<K, V>[]>) - Method in class tools.refinery.store.map.internal.delta.VersionedMapStoreDeltaImpl

getSize() - Method in interface tools.refinery.store.map.AnyVersionedMap

getSize() - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

getSize() - Method in class tools.refinery.store.map.internal.state.ImmutableNode

getSize() - Method in class tools.refinery.store.map.internal.state.MutableNode

getSize() - Method in class tools.refinery.store.map.internal.state.Node

getSize() - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

getSize() - Method in interface tools.refinery.store.model.AnyInterpretation

getSize() - Method in class tools.refinery.store.model.internal.VersionedInterpretation

getSize() - Method in interface tools.refinery.store.statecoding.Morphism

getSize() - Method in class tools.refinery.store.statecoding.neighborhood.ObjectCodeImpl

getSize() - Method in interface tools.refinery.store.statecoding.ObjectCode

getSize() - Method in class tools.refinery.store.statecoding.stateequivalence.PermutationMorphism

getSize() - Method in interface tools.refinery.store.tuple.Tuple

getSize() - Method in class tools.refinery.store.tuple.Tuple0

getSize() - Method in class tools.refinery.store.tuple.Tuple1

getSize() - Method in record class tools.refinery.store.tuple.Tuple2

getSize() - Method in record class tools.refinery.store.tuple.Tuple3

getSize() - Method in record class tools.refinery.store.tuple.Tuple4

getSize() - Method in class tools.refinery.store.tuple.TupleN

getState() - Method in class tools.refinery.store.model.internal.ModelImpl

getState() - Method in interface tools.refinery.store.model.Model

getStore() - Method in interface tools.refinery.store.adapter.ModelStoreAdapter

getStore() - Method in class tools.refinery.store.model.internal.ModelImpl

getStore() - Method in interface tools.refinery.store.model.Model

getStore() - Method in class tools.refinery.store.statecoding.internal.StateCoderStoreAdapterImpl

getStoreAdapter() - Method in interface tools.refinery.store.adapter.ModelAdapter

getStoreAdapter() - Method in class tools.refinery.store.statecoding.internal.StateCoderAdapterImpl

getSymbol() - Method in interface tools.refinery.store.model.AnyInterpretation

getSymbol() - Method in class tools.refinery.store.model.internal.VersionedInterpretation

getSymbol() - Method in interface tools.refinery.store.model.Interpretation

getSymbols() - Method in class tools.refinery.store.model.internal.ModelStoreImpl

getSymbols() - Method in interface tools.refinery.store.model.ModelStore

getToValue() - Method in interface tools.refinery.store.map.DiffCursor

getToValue() - Method in class tools.refinery.store.map.internal.delta.DeltaDiffCursor

getToValue() - Method in class tools.refinery.store.map.internal.state.MapDiffCursor

getTupleHash1(Tuple, Object, ObjectCode) - Method in class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

getTupleHash2(Tuple, Object, ObjectCode) - Method in class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

getTupleHashN(Tuple, Object, ObjectCode) - Method in class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

getValue() - Method in interface tools.refinery.store.map.Cursor

getValue() - Method in class tools.refinery.store.map.internal.delta.DeltaDiffCursor

getValue() - Method in class tools.refinery.store.map.internal.state.InOrderMapCursor

getValue() - Method in class tools.refinery.store.map.internal.state.MapCursor

getValue() - Method in class tools.refinery.store.map.internal.state.MapDiffCursor

getValue() - Method in class tools.refinery.store.map.IteratorAsCursor

getValue() - Method in class tools.refinery.store.map.IteratorBasedCursor

getValue(K, ContinuousHashProvider<? super K>, V, int, int) - Method in class tools.refinery.store.map.internal.state.ImmutableNode

getValue(K, ContinuousHashProvider<? super K>, V, int, int) - Method in class tools.refinery.store.map.internal.state.MutableNode

getValue(K, ContinuousHashProvider<? super K>, V, int, int) - Method in class tools.refinery.store.map.internal.state.Node

H

hashCode() - Method in interface tools.refinery.store.map.AnyVersionedMap

Deprecated.

AnyVersionedMap instances are mutable, and it is inappropriate to use them as keys in hash-based collections. Use AnyVersionedMap.contentHashCode(ContentHashCode) to compute a hashCode for a AnyVersionedMap instance according to its contents.

hashCode() - Method in record class tools.refinery.store.map.internal.delta.MapDelta

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.store.map.internal.delta.MapTransaction

Returns a hash code value for this object.

hashCode() - Method in class tools.refinery.store.map.internal.state.ImmutableNode

hashCode() - Method in class tools.refinery.store.map.internal.state.MutableNode

hashCode() - Method in interface tools.refinery.store.map.Version

Hashcode should be updated in accordance with equals.

hashCode() - Method in record class tools.refinery.store.model.internal.SymbolEquivalenceClass

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.store.representation.Symbol

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.store.statecoding.StateCoderResult

Returns a hash code value for this object.

hashCode() - Method in class tools.refinery.store.tuple.Tuple1

hashCode() - Method in record class tools.refinery.store.tuple.Tuple2

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.store.tuple.Tuple3

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.store.tuple.Tuple4

Returns a hash code value for this object.

hashCode() - Method in class tools.refinery.store.tuple.TupleN

hashDepth(int) - Static method in class tools.refinery.store.map.internal.state.Node

Calculates the index for the continuous hash.

hashFragment(int, int) - Static method in class tools.refinery.store.map.internal.state.Node

Selects a segments from a complete hash for a given depth.

hashProvider - Variable in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

hashProvider - Variable in class tools.refinery.store.map.internal.state.VersionedMapStoreStateImpl

hasNext() - Method in class tools.refinery.store.map.CursorAsIterator

hasUncommittedChanges() - Method in class tools.refinery.store.model.internal.ModelImpl

hasUncommittedChanges() - Method in interface tools.refinery.store.model.Model

I

ImmutableNode<K,V> - Class in tools.refinery.store.map.internal.state

impactCalculation(ObjectCodeImpl, ObjectCodeImpl, long[], Cursor<Tuple, ?>, int) - Method in class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

INCREMENT_BIG_STEP - Static variable in class tools.refinery.store.map.internal.state.Node

incrementDepth(int) - Method in class tools.refinery.store.map.internal.state.Node

Increments the depth of the search in the tree.

individual(Tuple1) - Method in class tools.refinery.store.statecoding.internal.StateCoderBuilderImpl

individual(Tuple1) - Method in interface tools.refinery.store.statecoding.StateCoderBuilder

individuals(Collection<Tuple1>) - Method in interface tools.refinery.store.statecoding.StateCoderBuilder

individuals(Tuple1...) - Method in interface tools.refinery.store.statecoding.StateCoderBuilder

IndividualsArray - Class in tools.refinery.store.statecoding.neighborhood

IndividualsArray(int[]) - Constructor for class tools.refinery.store.statecoding.neighborhood.IndividualsArray

IndividualsSet - Interface in tools.refinery.store.statecoding.neighborhood

initialize(K, V, ContinuousHashProvider<? super K>, V) - Static method in class tools.refinery.store.map.internal.state.MutableNode

initializeWithIndividuals(ObjectCodeImpl) - Method in class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

InOrderMapCursor<K,V> - Class in tools.refinery.store.map.internal.state

InOrderMapCursor(VersionedMapStateImpl<K, V>) - Constructor for class tools.refinery.store.map.internal.state.InOrderMapCursor

INSTANCE - Static variable in class tools.refinery.store.model.TupleHashProvider

INSTANCE - Static variable in class tools.refinery.store.tuple.Tuple0

INSTANCE - Static variable in class tools.refinery.store.tuple.Tuple1.Cache

Interpretation<T> - Interface in tools.refinery.store.model

InterpretationListener<T> - Interface in tools.refinery.store.model

invalidateHash() - Method in class tools.refinery.store.map.internal.state.MutableNode

isComplete() - Method in class tools.refinery.store.statecoding.stateequivalence.CombinationNodePairing

isComplete() - Method in interface tools.refinery.store.statecoding.stateequivalence.NodePairing

isComplete() - Method in class tools.refinery.store.statecoding.stateequivalence.TrivialNodePairing

isConfigured() - Method in class tools.refinery.store.adapter.AbstractModelAdapterBuilder

isConfigured() - Method in interface tools.refinery.store.adapter.ModelAdapterBuilder

isDirty() - Method in interface tools.refinery.store.map.Cursor

isDirty() - Method in class tools.refinery.store.map.internal.delta.DeltaDiffCursor

isDirty() - Method in class tools.refinery.store.map.internal.state.InOrderMapCursor

isDirty() - Method in class tools.refinery.store.map.internal.state.MapCursor

isDirty() - Method in class tools.refinery.store.map.internal.state.MapDiffCursor

isDirty() - Method in class tools.refinery.store.map.IteratorAsCursor

isImmutableWhenCommitting() - Method in class tools.refinery.store.map.internal.state.VersionedMapStoreStateConfiguration

isIndividual(int) - Method in class tools.refinery.store.statecoding.neighborhood.IndividualsArray

isIndividual(int) - Method in interface tools.refinery.store.statecoding.neighborhood.IndividualsSet

isMutable() - Method in class tools.refinery.store.map.internal.state.ImmutableNode

isMutable() - Method in class tools.refinery.store.map.internal.state.MutableNode

isMutable() - Method in class tools.refinery.store.map.internal.state.Node

ISOMORPHIC - Enum constant in enum class tools.refinery.store.statecoding.StateEquivalenceChecker.EquivalenceResult

isOrphaned() - Method in class tools.refinery.store.map.internal.state.MutableNode

isSharedNodeCacheInStore() - Method in class tools.refinery.store.map.internal.state.VersionedMapStoreStateConfiguration

isSharedNodeCacheInStoreGroups() - Method in class tools.refinery.store.map.internal.state.VersionedMapStoreStateConfiguration

isTerminated() - Method in interface tools.refinery.store.map.Cursor

isTerminated() - Method in class tools.refinery.store.map.internal.delta.DeltaDiffCursor

isTerminated() - Method in class tools.refinery.store.map.internal.state.InOrderMapCursor

isTerminated() - Method in class tools.refinery.store.map.internal.state.MapCursor

isTerminated() - Method in class tools.refinery.store.map.internal.state.MapDiffCursor

isTerminated() - Method in class tools.refinery.store.map.IteratorAsCursor

isTerminated() - Method in class tools.refinery.store.map.IteratorBasedCursor

isVersionFreeingEnabled() - Method in class tools.refinery.store.map.internal.state.VersionedMapStoreStateConfiguration

iterator() - Method in class tools.refinery.store.map.MapAsIterable

IteratorAsCursor<K,V> - Class in tools.refinery.store.map

IteratorAsCursor(VersionedMap<K, V>, Map<K, V>) - Constructor for class tools.refinery.store.map.IteratorAsCursor

IteratorBasedCursor<K,V> - Class in tools.refinery.store.map

IteratorBasedCursor(Iterator<Map.Entry<K, V>>) - Constructor for class tools.refinery.store.map.IteratorBasedCursor

K

key() - Method in record class tools.refinery.store.map.internal.delta.MapDelta

Returns the value of the key record component.

L

LARGEST_BINARY_INDEX_1 - Static variable in class tools.refinery.store.model.TupleHashProvider

LARGEST_PRIME_30_BITS_INTEGER - Static variable in class tools.refinery.store.model.TupleHashProvider

LARGEST_PRIME_30_BITS_LONG - Static variable in class tools.refinery.store.model.TupleHashProvider

LIMIT - Static variable in class tools.refinery.store.statecoding.stateequivalence.StateEquivalenceCheckerImpl

LIST - Enum constant in enum class tools.refinery.store.map.VersionedMapStoreFactoryBuilder.DeltaTransactionStrategy

M

map(Iterable<S>, Function<S, T>) - Static method in class tools.refinery.store.util.CollectionsUtil

map(Iterator<S>, Function<S, T>) - Static method in class tools.refinery.store.util.CollectionsUtil

MapAsIterable<K,V,D> - Class in tools.refinery.store.map

MapAsIterable(VersionedMap<K, V>, BiFunction<K, V, D>) - Constructor for class tools.refinery.store.map.MapAsIterable

MapAsIterable(VersionedMap<K, V>, BiFunction<K, V, D>, BiPredicate<K, V>) - Constructor for class tools.refinery.store.map.MapAsIterable

MapCursor<K,V> - Class in tools.refinery.store.map.internal.state

MapCursor(Node<K, V>, VersionedMap<K, V>) - Constructor for class tools.refinery.store.map.internal.state.MapCursor

MapDelta<K,V> - Record Class in tools.refinery.store.map.internal.delta

MapDelta(K, V, V) - Constructor for record class tools.refinery.store.map.internal.delta.MapDelta

Creates an instance of a MapDelta record class.

MapDiffCursor<K,V> - Class in tools.refinery.store.map.internal.state

A cursor representing the difference between two states of a map.

MapDiffCursor(V, InOrderMapCursor<K, V>, InOrderMapCursor<K, V>) - Constructor for class tools.refinery.store.map.internal.state.MapDiffCursor

MapTransaction<K,V> - Record Class in tools.refinery.store.map.internal.delta

MapTransaction(MapDelta<K, V>[], MapTransaction<K, V>, int) - Constructor for record class tools.refinery.store.map.internal.delta.MapTransaction

Creates an instance of a MapTransaction record class.

MAX_MODEL_SIZE - Static variable in class tools.refinery.store.model.TupleHashProvider

MAX_PRACTICAL_DEPTH - Static variable in interface tools.refinery.store.map.ContinuousHashProvider

Maximal practical depth for differentiating keys.

Model - Interface in tools.refinery.store.model

ModelAction - Enum Class in tools.refinery.store.model.internal

ModelAdapter - Interface in tools.refinery.store.adapter

ModelAdapterBuilder - Interface in tools.refinery.store.adapter

modelCode() - Method in record class tools.refinery.store.statecoding.StateCoderResult

Returns the value of the modelCode record component.

ModelDiffCursor - Class in tools.refinery.store.model

ModelDiffCursor(Map<? extends AnySymbol, ? extends DiffCursor<?, ?>>) - Constructor for class tools.refinery.store.model.ModelDiffCursor

ModelImpl - Class in tools.refinery.store.model.internal

ModelListener - Interface in tools.refinery.store.model

ModelStore - Interface in tools.refinery.store.model

ModelStoreAdapter - Interface in tools.refinery.store.adapter

ModelStoreBuilder - Interface in tools.refinery.store.model

ModelStoreBuilderImpl - Class in tools.refinery.store.model.internal

ModelStoreBuilderImpl() - Constructor for class tools.refinery.store.model.internal.ModelStoreBuilderImpl

ModelStoreConfiguration - Interface in tools.refinery.store.model

ModelStoreImpl - Class in tools.refinery.store.model.internal

ModelVersion - Class in tools.refinery.store.model.internal

ModelVersion(Version[]) - Constructor for class tools.refinery.store.model.internal.ModelVersion

Morphism - Interface in tools.refinery.store.statecoding

move() - Method in interface tools.refinery.store.map.Cursor

move() - Method in class tools.refinery.store.map.internal.delta.DeltaDiffCursor

move() - Method in class tools.refinery.store.map.internal.state.InOrderMapCursor

move() - Method in class tools.refinery.store.map.internal.state.MapCursor

move() - Method in class tools.refinery.store.map.internal.state.MapDiffCursor

move() - Method in class tools.refinery.store.map.IteratorAsCursor

move() - Method in class tools.refinery.store.map.IteratorBasedCursor

MutableNode<K,V> - Class in tools.refinery.store.map.internal.state

MutableNode() - Constructor for class tools.refinery.store.map.internal.state.MutableNode

MutableNode(ImmutableNode<K, V>) - Constructor for class tools.refinery.store.map.internal.state.MutableNode

Constructs a MutableNode as a copy of an ImmutableNode

N

name() - Method in interface tools.refinery.store.representation.AnySymbol

name() - Method in record class tools.refinery.store.representation.Symbol

Returns the value of the name record component.

NeighborhoodCalculator - Class in tools.refinery.store.statecoding.neighborhood

NeighborhoodCalculator(Model, List<? extends Interpretation<?>>, IndividualsSet, int) - Constructor for class tools.refinery.store.statecoding.neighborhood.NeighborhoodCalculator

newHash(ContinuousHashProvider<? super K>, K, int, int) - Method in class tools.refinery.store.map.internal.state.Node

Returns the hash code for a given depth.

newValue() - Method in record class tools.refinery.store.map.internal.delta.MapDelta

Returns the value of the newValue record component.

next() - Method in class tools.refinery.store.map.CursorAsIterator

next() - Method in class tools.refinery.store.statecoding.stateequivalence.PermutationMorphism

NO_NODE_CACHE - Enum constant in enum class tools.refinery.store.map.VersionedMapStoreFactoryBuilder.SharingStrategy

NO_STATE_ID - Static variable in interface tools.refinery.store.model.Model

Node<K,V> - Class in tools.refinery.store.map.internal.state

Node() - Constructor for class tools.refinery.store.map.internal.state.Node

nodeCache - Variable in class tools.refinery.store.map.internal.state.VersionedMapStoreStateImpl

NodePairing - Interface in tools.refinery.store.statecoding.stateequivalence

NONE - Enum constant in enum class tools.refinery.store.model.internal.ModelAction

NONE - Static variable in interface tools.refinery.store.util.CancellationToken

NUMBER_OF_FACTORS - Static variable in class tools.refinery.store.map.internal.state.Node

O

objectCode() - Method in record class tools.refinery.store.statecoding.StateCoderResult

Returns the value of the objectCode record component.

ObjectCode - Interface in tools.refinery.store.statecoding

ObjectCodeImpl - Class in tools.refinery.store.statecoding.neighborhood

ObjectCodeImpl() - Constructor for class tools.refinery.store.statecoding.neighborhood.ObjectCodeImpl

ObjectCodeImpl(int) - Constructor for class tools.refinery.store.statecoding.neighborhood.ObjectCodeImpl

ObjectCodeImpl(ObjectCodeImpl) - Constructor for class tools.refinery.store.statecoding.neighborhood.ObjectCodeImpl

of() - Static method in interface tools.refinery.store.tuple.Tuple

of(int) - Static method in interface tools.refinery.store.tuple.Tuple

of(int...) - Static method in interface tools.refinery.store.tuple.Tuple

of(int, int) - Static method in interface tools.refinery.store.tuple.Tuple

of(int, int, int) - Static method in interface tools.refinery.store.tuple.Tuple

of(int, int, int, int) - Static method in interface tools.refinery.store.tuple.Tuple

of(String, int) - Static method in record class tools.refinery.store.representation.Symbol

of(String, int, Class<T>) - Static method in record class tools.refinery.store.representation.Symbol

of(String, int, Class<T>, T) - Static method in record class tools.refinery.store.representation.Symbol

of(Iterator<Map.Entry<K, V>>) - Static method in class tools.refinery.store.map.Cursors

of(Map<K, V>) - Static method in class tools.refinery.store.map.Cursors

oldValue() - Method in record class tools.refinery.store.map.internal.delta.MapDelta

Returns the value of the oldValue record component.

OldValueBox<V> - Class in tools.refinery.store.map.internal.state

OldValueBox() - Constructor for class tools.refinery.store.map.internal.state.OldValueBox

P

parent() - Method in record class tools.refinery.store.map.internal.delta.MapTransaction

Returns the value of the parent record component.

pendingActionError(String) - Method in class tools.refinery.store.model.internal.ModelImpl

PermutationMorphism - Class in tools.refinery.store.statecoding.stateequivalence

permutations() - Method in class tools.refinery.store.statecoding.stateequivalence.CombinationNodePairing

permutations() - Method in interface tools.refinery.store.statecoding.stateequivalence.NodePairing

permutations() - Method in class tools.refinery.store.statecoding.stateequivalence.TrivialNodePairing

PRECISE_SLOW - Enum constant in enum class tools.refinery.store.map.ContentHashCode

Calculate the hashCode of the contents of this AnyVersionedMap to reduce hash collisions as much as possible, even iterating over the full contents in necessary.

prettyPrint() - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

prettyPrint(StringBuilder, int, int) - Method in class tools.refinery.store.map.internal.state.ImmutableNode

prettyPrint(StringBuilder, int, int) - Method in class tools.refinery.store.map.internal.state.MutableNode

prettyPrint(StringBuilder, int, int) - Method in class tools.refinery.store.map.internal.state.Node

PRIME - Static variable in class tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator

primes - Static variable in class tools.refinery.store.model.TupleHashProvider

processChange(K, V, V) - Method in class tools.refinery.store.map.internal.delta.UncommittedDeltaArrayStore

processChange(K, V, V) - Method in class tools.refinery.store.map.internal.delta.UncommittedDeltaMapStore

processChange(K, V, V) - Method in interface tools.refinery.store.map.internal.delta.UncommittedDeltaStore

put(K, V) - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

put(K, V) - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

put(K, V) - Method in interface tools.refinery.store.map.VersionedMap

put(Tuple, T) - Method in class tools.refinery.store.model.internal.VersionedInterpretation

put(Tuple, T) - Method in interface tools.refinery.store.model.Interpretation

put(Tuple, T, T, boolean) - Method in interface tools.refinery.store.model.InterpretationListener

putAll(Cursor<K, V>) - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

putAll(Cursor<K, V>) - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

putAll(Cursor<K, V>) - Method in interface tools.refinery.store.map.VersionedMap

putAll(Cursor<Tuple, T>) - Method in class tools.refinery.store.model.internal.VersionedInterpretation

putAll(Cursor<Tuple, T>) - Method in interface tools.refinery.store.model.Interpretation

putValue(K, V, OldValueBox<V>, ContinuousHashProvider<? super K>, V, int, int) - Method in class tools.refinery.store.map.internal.state.ImmutableNode

putValue(K, V, OldValueBox<V>, ContinuousHashProvider<? super K>, V, int, int) - Method in class tools.refinery.store.map.internal.state.MutableNode

putValue(K, V, OldValueBox<V>, ContinuousHashProvider<? super K>, V, int, int) - Method in class tools.refinery.store.map.internal.state.Node

R

removeListener(InterpretationListener<T>) - Method in class tools.refinery.store.model.internal.VersionedInterpretation

removeListener(InterpretationListener<T>) - Method in interface tools.refinery.store.model.Interpretation

removeListener(ModelListener) - Method in class tools.refinery.store.model.internal.ModelImpl

removeListener(ModelListener) - Method in interface tools.refinery.store.model.Model

reset() - Method in class tools.refinery.store.tuple.Tuple1.Cache

restore(Version) - Method in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

restore(Version) - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

restore(Version) - Method in interface tools.refinery.store.map.Versioned

Restores the state of the object.

restore(Version) - Method in class tools.refinery.store.model.internal.ModelImpl

restore(Version) - Method in class tools.refinery.store.model.internal.VersionedInterpretation

RESTORE - Enum constant in enum class tools.refinery.store.model.internal.ModelAction

revert(Version) - Method in class tools.refinery.store.map.internal.state.VersionedMapStoreStateImpl

root - Variable in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

S

sameSubNode(InOrderMapCursor<K, V>, InOrderMapCursor<K, V>) - Static method in class tools.refinery.store.map.internal.state.InOrderMapCursor

set(int, int) - Method in interface tools.refinery.store.tuple.Tuple

set(int, int) - Method in class tools.refinery.store.tuple.Tuple0

set(int, int) - Method in class tools.refinery.store.tuple.Tuple1

set(int, int) - Method in record class tools.refinery.store.tuple.Tuple2

set(int, int) - Method in record class tools.refinery.store.tuple.Tuple3

set(int, int) - Method in record class tools.refinery.store.tuple.Tuple4

set(int, int) - Method in class tools.refinery.store.tuple.TupleN

set(int, long) - Method in class tools.refinery.store.statecoding.neighborhood.ObjectCodeImpl

SET - Enum constant in enum class tools.refinery.store.map.VersionedMapStoreFactoryBuilder.DeltaTransactionStrategy

setOldValue(V) - Method in class tools.refinery.store.map.internal.state.OldValueBox

setRoot(Node<K, V>) - Method in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

SHARED_NODE_CACHE - Enum constant in enum class tools.refinery.store.map.VersionedMapStoreFactoryBuilder.SharingStrategy

SHARED_NODE_CACHE_IN_GROUP - Enum constant in enum class tools.refinery.store.map.VersionedMapStoreFactoryBuilder.SharingStrategy

shiftDepth(int) - Static method in class tools.refinery.store.map.internal.state.Node

Calculates the which segment of a single hash should be used.

shouldNotifyRestoreListeners() - Method in class tools.refinery.store.model.internal.VersionedInterpretation

singleton(K, V) - Static method in class tools.refinery.store.map.Cursors

size() - Method in class tools.refinery.store.statecoding.stateequivalence.CombinationNodePairing

size() - Method in interface tools.refinery.store.statecoding.stateequivalence.NodePairing

size() - Method in class tools.refinery.store.statecoding.stateequivalence.TrivialNodePairing

skipCurrentNode() - Method in class tools.refinery.store.map.internal.state.InOrderMapCursor

STATE - Enum constant in enum class tools.refinery.store.map.VersionedMapStoreFactoryBuilder.StoreStrategy

stateBasedHashProvider(ContinuousHashProvider<K>) - Method in class tools.refinery.store.map.internal.VersionedMapStoreFactoryBuilderImpl

stateBasedHashProvider(ContinuousHashProvider<K>) - Method in interface tools.refinery.store.map.VersionedMapStoreFactoryBuilder

stateBasedImmutableWhenCommitting(boolean) - Method in class tools.refinery.store.map.internal.VersionedMapStoreFactoryBuilderImpl

stateBasedImmutableWhenCommitting(boolean) - Method in interface tools.refinery.store.map.VersionedMapStoreFactoryBuilder

stateBasedSharingStrategy(VersionedMapStoreFactoryBuilder.SharingStrategy) - Method in class tools.refinery.store.map.internal.VersionedMapStoreFactoryBuilderImpl

stateBasedSharingStrategy(VersionedMapStoreFactoryBuilder.SharingStrategy) - Method in interface tools.refinery.store.map.VersionedMapStoreFactoryBuilder

StateBasedVersionedMapStoreFactory<K,V> - Class in tools.refinery.store.map.internal.state

StateBasedVersionedMapStoreFactory(V, Boolean, VersionedMapStoreFactoryBuilder.SharingStrategy, boolean, ContinuousHashProvider<K>) - Constructor for class tools.refinery.store.map.internal.state.StateBasedVersionedMapStoreFactory

StateCodeCalculator - Interface in tools.refinery.store.statecoding

stateCodeCalculatorFactory(StateCodeCalculatorFactory) - Method in class tools.refinery.store.statecoding.internal.StateCoderBuilderImpl

stateCodeCalculatorFactory(StateCodeCalculatorFactory) - Method in interface tools.refinery.store.statecoding.StateCoderBuilder

StateCodeCalculatorFactory - Interface in tools.refinery.store.statecoding

StateCoderAdapter - Interface in tools.refinery.store.statecoding

StateCoderAdapterImpl - Class in tools.refinery.store.statecoding.internal

StateCoderBuilder - Interface in tools.refinery.store.statecoding

StateCoderBuilderImpl - Class in tools.refinery.store.statecoding.internal

StateCoderBuilderImpl() - Constructor for class tools.refinery.store.statecoding.internal.StateCoderBuilderImpl

StateCoderResult - Record Class in tools.refinery.store.statecoding

StateCoderResult(int, ObjectCode) - Constructor for record class tools.refinery.store.statecoding.StateCoderResult

Creates an instance of a StateCoderResult record class.

StateCoderStoreAdapter - Interface in tools.refinery.store.statecoding

StateCoderStoreAdapterImpl - Class in tools.refinery.store.statecoding.internal

stateEquivalenceChecker(StateEquivalenceChecker) - Method in class tools.refinery.store.statecoding.internal.StateCoderBuilderImpl

stateEquivalenceChecker(StateEquivalenceChecker) - Method in interface tools.refinery.store.statecoding.StateCoderBuilder

StateEquivalenceChecker - Interface in tools.refinery.store.statecoding

StateEquivalenceChecker.EquivalenceResult - Enum Class in tools.refinery.store.statecoding

StateEquivalenceCheckerImpl - Class in tools.refinery.store.statecoding.stateequivalence

StateEquivalenceCheckerImpl() - Constructor for class tools.refinery.store.statecoding.stateequivalence.StateEquivalenceCheckerImpl

store - Variable in class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

store - Variable in class tools.refinery.store.map.internal.state.VersionedMapStateImpl

strategy(VersionedMapStoreFactoryBuilder.StoreStrategy) - Method in class tools.refinery.store.map.internal.VersionedMapStoreFactoryBuilderImpl

strategy(VersionedMapStoreFactoryBuilder.StoreStrategy) - Method in interface tools.refinery.store.map.VersionedMapStoreFactoryBuilder

stream() - Method in class tools.refinery.store.statecoding.neighborhood.IndividualsArray

stream() - Method in interface tools.refinery.store.statecoding.neighborhood.IndividualsSet

summarizeChanges - Variable in class tools.refinery.store.map.internal.delta.VersionedMapStoreDeltaImpl

symbol(AnySymbol) - Method in interface tools.refinery.store.model.ModelStoreBuilder

symbol(Symbol<T>) - Method in class tools.refinery.store.model.internal.ModelStoreBuilderImpl

symbol(Symbol<T>) - Method in interface tools.refinery.store.model.ModelStoreBuilder

Symbol<T> - Record Class in tools.refinery.store.representation

Symbol(String, int, Class<T>, T) - Constructor for record class tools.refinery.store.representation.Symbol

Creates an instance of a Symbol record class.

SymbolEquivalenceClass<T> - Record Class in tools.refinery.store.model.internal

SymbolEquivalenceClass(int, Class<T>, T) - Constructor for record class tools.refinery.store.model.internal.SymbolEquivalenceClass

Creates an instance of a SymbolEquivalenceClass record class.

SymbolEquivalenceClass(Symbol<T>) - Constructor for record class tools.refinery.store.model.internal.SymbolEquivalenceClass

symbols(Collection<? extends AnySymbol>) - Method in interface tools.refinery.store.model.ModelStoreBuilder

symbols(AnySymbol...) - Method in interface tools.refinery.store.model.ModelStoreBuilder

T

toImmutable(Map<Node<K, V>, ImmutableNode<K, V>>) - Method in class tools.refinery.store.map.internal.state.ImmutableNode

toImmutable(Map<Node<K, V>, ImmutableNode<K, V>>) - Method in class tools.refinery.store.map.internal.state.MutableNode

toImmutable(Map<Node<K, V>, ImmutableNode<K, V>>) - Method in class tools.refinery.store.map.internal.state.Node

toMutable() - Method in class tools.refinery.store.map.internal.state.ImmutableNode

toMutable() - Method in class tools.refinery.store.map.internal.state.MutableNode

tools.refinery.store.adapter - package tools.refinery.store.adapter

tools.refinery.store.map - package tools.refinery.store.map

tools.refinery.store.map.internal - package tools.refinery.store.map.internal

tools.refinery.store.map.internal.delta - package tools.refinery.store.map.internal.delta

tools.refinery.store.map.internal.state - package tools.refinery.store.map.internal.state

tools.refinery.store.model - package tools.refinery.store.model

tools.refinery.store.model.internal - package tools.refinery.store.model.internal

tools.refinery.store.representation - package tools.refinery.store.representation

tools.refinery.store.statecoding - package tools.refinery.store.statecoding

tools.refinery.store.statecoding.internal - package tools.refinery.store.statecoding.internal

tools.refinery.store.statecoding.neighborhood - package tools.refinery.store.statecoding.neighborhood

tools.refinery.store.statecoding.stateequivalence - package tools.refinery.store.statecoding.stateequivalence

tools.refinery.store.tuple - package tools.refinery.store.tuple

tools.refinery.store.util - package tools.refinery.store.util

toString() - Method in record class tools.refinery.store.map.internal.delta.MapDelta

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.store.map.internal.delta.MapTransaction

Returns a string representation of this record class.

toString() - Method in class tools.refinery.store.map.internal.state.Node

toString() - Method in class tools.refinery.store.map.internal.VersionedMapStoreFactoryBuilderImpl

toString() - Method in class tools.refinery.store.model.internal.ModelVersion

toString() - Method in record class tools.refinery.store.model.internal.SymbolEquivalenceClass

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.store.representation.Symbol

Returns a string representation of this record class.

toString() - Method in class tools.refinery.store.statecoding.neighborhood.ObjectCodeImpl

toString() - Method in record class tools.refinery.store.statecoding.StateCoderResult

Returns a string representation of this record class.

toString() - Method in class tools.refinery.store.tuple.Tuple0

toString() - Method in class tools.refinery.store.tuple.Tuple1

toString() - Method in record class tools.refinery.store.tuple.Tuple2

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.store.tuple.Tuple3

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.store.tuple.Tuple4

Returns a string representation of this record class.

toString() - Method in class tools.refinery.store.tuple.TupleN

TrivialNodePairing - Class in tools.refinery.store.statecoding.stateequivalence

tryGetAdapter(Class<? extends T>) - Method in class tools.refinery.store.model.internal.ModelImpl

tryGetAdapter(Class<? extends T>) - Method in class tools.refinery.store.model.internal.ModelStoreBuilderImpl

tryGetAdapter(Class<? extends T>) - Method in class tools.refinery.store.model.internal.ModelStoreImpl

tryGetAdapter(Class<? extends T>) - Method in interface tools.refinery.store.model.Model

tryGetAdapter(Class<? extends T>) - Method in interface tools.refinery.store.model.ModelStore

tryGetAdapter(Class<? extends T>) - Method in interface tools.refinery.store.model.ModelStoreBuilder

tryGetAdapter(Collection<T>, Class<? extends U>) - Static method in class tools.refinery.store.adapter.AdapterUtils

Tuple - Interface in tools.refinery.store.tuple

Tuple0 - Class in tools.refinery.store.tuple

Singleton implementation to ensure only a single empty tuple exists.

Tuple1 - Class in tools.refinery.store.tuple

Tuple1.Cache - Class in tools.refinery.store.tuple

This class uses safe double-checked locking, see Safe Publication and Safe Initialization in Java for details.

Tuple2 - Record Class in tools.refinery.store.tuple

Tuple2(int, int) - Constructor for record class tools.refinery.store.tuple.Tuple2

Creates an instance of a Tuple2 record class.

Tuple3 - Record Class in tools.refinery.store.tuple

Tuple3(int, int, int) - Constructor for record class tools.refinery.store.tuple.Tuple3

Creates an instance of a Tuple3 record class.

Tuple4 - Record Class in tools.refinery.store.tuple

Tuple4(int, int, int, int) - Constructor for record class tools.refinery.store.tuple.Tuple4

Creates an instance of a Tuple4 record class.

TupleHashProvider - Class in tools.refinery.store.model

TupleHashProvider() - Constructor for class tools.refinery.store.model.TupleHashProvider

TupleN - Class in tools.refinery.store.tuple

U

UncommittedDeltaArrayStore<K,V> - Class in tools.refinery.store.map.internal.delta

UncommittedDeltaArrayStore() - Constructor for class tools.refinery.store.map.internal.delta.UncommittedDeltaArrayStore

UncommittedDeltaMapStore<K,V> - Class in tools.refinery.store.map.internal.delta

UncommittedDeltaMapStore(VersionedMap<K, V>) - Constructor for class tools.refinery.store.map.internal.delta.UncommittedDeltaMapStore

UncommittedDeltaStore<K,V> - Interface in tools.refinery.store.map.internal.delta

UNKNOWN - Enum constant in enum class tools.refinery.store.statecoding.StateEquivalenceChecker.EquivalenceResult

V

value0() - Method in class tools.refinery.store.tuple.Tuple1

value0() - Method in record class tools.refinery.store.tuple.Tuple2

Returns the value of the value0 record component.

value0() - Method in record class tools.refinery.store.tuple.Tuple3

Returns the value of the value0 record component.

value0() - Method in record class tools.refinery.store.tuple.Tuple4

Returns the value of the value0 record component.

value1() - Method in record class tools.refinery.store.tuple.Tuple2

Returns the value of the value1 record component.

value1() - Method in record class tools.refinery.store.tuple.Tuple3

Returns the value of the value1 record component.

value1() - Method in record class tools.refinery.store.tuple.Tuple4

Returns the value of the value1 record component.

value2() - Method in record class tools.refinery.store.tuple.Tuple3

Returns the value of the value2 record component.

value2() - Method in record class tools.refinery.store.tuple.Tuple4

Returns the value of the value2 record component.

value3() - Method in record class tools.refinery.store.tuple.Tuple4

Returns the value of the value3 record component.

valueChanged(Tuple, T, T, boolean) - Method in class tools.refinery.store.model.internal.VersionedInterpretation

valueOf(String) - Static method in enum class tools.refinery.store.map.ContentHashCode

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.store.map.VersionedMapStoreFactoryBuilder.DeltaTransactionStrategy

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.store.map.VersionedMapStoreFactoryBuilder.SharingStrategy

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.store.map.VersionedMapStoreFactoryBuilder.StoreStrategy

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.store.model.internal.ModelAction

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.store.statecoding.StateEquivalenceChecker.EquivalenceResult

Returns the enum constant of this class with the specified name.

values() - Static method in enum class tools.refinery.store.map.ContentHashCode

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.store.map.VersionedMapStoreFactoryBuilder.DeltaTransactionStrategy

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.store.map.VersionedMapStoreFactoryBuilder.SharingStrategy

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.store.map.VersionedMapStoreFactoryBuilder.StoreStrategy

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.store.model.internal.ModelAction

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.store.statecoding.StateEquivalenceChecker.EquivalenceResult

Returns an array containing the constants of this enum class, in the order they are declared.

valueType() - Method in record class tools.refinery.store.model.internal.SymbolEquivalenceClass

Returns the value of the valueType record component.

valueType() - Method in interface tools.refinery.store.representation.AnySymbol

valueType() - Method in record class tools.refinery.store.representation.Symbol

Returns the value of the valueType record component.

Version - Interface in tools.refinery.store.map

Interface denoting versions of Versioned.

Versioned - Interface in tools.refinery.store.map

Object that can save and restore its state.

VersionedInterpretation<T> - Class in tools.refinery.store.model.internal

VersionedInterpretation(ModelImpl, Symbol<T>, VersionedMap<Tuple, T>) - Constructor for class tools.refinery.store.model.internal.VersionedInterpretation

VersionedMap<K,V> - Interface in tools.refinery.store.map

VersionedMapDeltaImpl<K,V> - Class in tools.refinery.store.map.internal.delta

VersionedMapDeltaImpl(VersionedMapStoreDeltaImpl<K, V>, boolean, V) - Constructor for class tools.refinery.store.map.internal.delta.VersionedMapDeltaImpl

VersionedMapStateImpl<K,V> - Class in tools.refinery.store.map.internal.state

Not threadSafe in itself

VersionedMapStateImpl(VersionedMapStoreStateImpl<K, V>, ContinuousHashProvider<K>, V) - Constructor for class tools.refinery.store.map.internal.state.VersionedMapStateImpl

VersionedMapStateImpl(VersionedMapStoreStateImpl<K, V>, ContinuousHashProvider<K>, V, Node<K, V>) - Constructor for class tools.refinery.store.map.internal.state.VersionedMapStateImpl

VersionedMapStore<K,V> - Interface in tools.refinery.store.map

VersionedMapStoreDeltaImpl<K,V> - Class in tools.refinery.store.map.internal.delta

VersionedMapStoreDeltaImpl(boolean, V) - Constructor for class tools.refinery.store.map.internal.delta.VersionedMapStoreDeltaImpl

VersionedMapStoreFactory<K,V> - Interface in tools.refinery.store.map

VersionedMapStoreFactoryBuilder<K,V> - Interface in tools.refinery.store.map

VersionedMapStoreFactoryBuilder.DeltaTransactionStrategy - Enum Class in tools.refinery.store.map

VersionedMapStoreFactoryBuilder.SharingStrategy - Enum Class in tools.refinery.store.map

VersionedMapStoreFactoryBuilder.StoreStrategy - Enum Class in tools.refinery.store.map

VersionedMapStoreFactoryBuilderImpl<K,V> - Class in tools.refinery.store.map.internal

VersionedMapStoreFactoryBuilderImpl() - Constructor for class tools.refinery.store.map.internal.VersionedMapStoreFactoryBuilderImpl

VersionedMapStoreStateConfiguration - Class in tools.refinery.store.map.internal.state

VersionedMapStoreStateConfiguration() - Constructor for class tools.refinery.store.map.internal.state.VersionedMapStoreStateConfiguration

VersionedMapStoreStateConfiguration(boolean, boolean, boolean, boolean) - Constructor for class tools.refinery.store.map.internal.state.VersionedMapStoreStateConfiguration

VersionedMapStoreStateImpl<K,V> - Class in tools.refinery.store.map.internal.state

VersionedMapStoreStateImpl(ContinuousHashProvider<K>, V) - Constructor for class tools.refinery.store.map.internal.state.VersionedMapStoreStateImpl

VersionedMapStoreStateImpl(ContinuousHashProvider<K>, V, VersionedMapStoreStateConfiguration) - Constructor for class tools.refinery.store.map.internal.state.VersionedMapStoreStateImpl

versionFreeing(boolean) - Method in class tools.refinery.store.map.internal.VersionedMapStoreFactoryBuilderImpl

versionFreeing(boolean) - Method in interface tools.refinery.store.map.VersionedMapStoreFactoryBuilder

W

with(ModelAdapterBuilder) - Method in class tools.refinery.store.model.internal.ModelStoreBuilderImpl

with(ModelAdapterBuilder) - Method in interface tools.refinery.store.model.ModelStoreBuilder

with(ModelStoreConfiguration) - Method in class tools.refinery.store.model.internal.ModelStoreBuilderImpl

with(ModelStoreConfiguration) - Method in interface tools.refinery.store.model.ModelStoreBuilder

A B C D E F G H I K L M N O P R S T U V W
All Classes and Interfaces|All Packages|Constant Field Values