Aardvark.Base.Incremental

defines a base class for all decorated mods

defines a base class for all adaptive objects implementing IAdaptiveObject.

Cache represents a cached function which can be invoked and revoked. invoke increments the reference count for a specific argument (possibly causing the function to be executed) whereas revoke decreases the reference count and removes the cache entry whenever the reference count is 0.

Cache represents a cached function which can be invoked and revoked. invoke increments the reference count for a specific argument (possibly causing the function to be executed) whereas revoke decreases the reference count and removes the cache entry whenever the reference count is 0.

defines a base class for all adaptive objects which are actually constant. Note that this class provides "dummy" implementations for all memebers defined in IAdaptiveObject and does not keep track of in-/outputs.

DefaultingModRef<'a> represents a mod ref with an adaptive default value. The resulting IMod corresponds to the default value unless a custom value is set to the ref. By calling Reset (), the initial behaviour can be restored, i.e. the resulting value is dependent on the adaptive default value.

defines a base class for all adaptive objects implementing IAdaptiveObject and providing dirty-inputs for evaluation.

implements a queue with "uncomparable" duplicates. This is helpful since regular heap implementation cannot deal with a large number of duplicated keys efficiently. Note: the duplicated values will be returned in the order they were enqueued

IAdaptiveObject represents the core interface for all adaptive objects and contains everything necessary for tracking OutOfDate flags and managing in-/outputs in the dependency tree.

Since eager evalutation might be desirable in some scenarios the interface also contains a Level representing the execution order when evaluating inside a transaction and a function called Mark allowing implementations to actually perform the evaluation. Mark returns a bool since eager evaluation might cause the change propagation process to exit early (if the actual value was unchanged) In order to make adaptive objects easily identifiable all adaptive objects must also provide a globally unique id (Id)

IMod is the non-generic base interface for modifiable cells. This is needed due to the lack of existential types in the .NET.

IMod<'a> represents the base interface for modifiable cells and provides a method for getting the cell's current content.

ModRef<'a> represents a changeable input cell which can be changed by the user and implements IMod<'a>

LevelChangedException is internally used by the system to handle level changes during the change propagation.

ModRef<'a> represents a changeable input cell which can be changed by the user and implements IMod<'a>

represents a simple priority queue using user-given compare function

represents a set of elements having a reference count. this means that an element is contained when it has been added at least once more than removed.

Transaction holds a set of adaptive objects which have been changed and shall therefore be marked as outOfDate. Commit "propagates" these changes into the dependency-graph, takes care of the correct execution-order and acquires appropriate locks for all objects affected.

represents a set of elements while not introducing a "garbage-collector-edge". This is desirable in scenarios where one needs to enumerate a set of things which shall be allowed to be garbage-collected.