knossos.linear.config — knossos 0.3.9

Datatypes for search configurations

add! clj

(add! config-set config)

Add a configuration to a config-set. Returns self. You do not need to preserve the return value.

array-processes clj

(array-processes history)

A process tracker backed by a sorted array, closing over the given history. History operations must have :index elements identifying their position in the history, and integer :process fields.

array-processes-assoc clj

(array-processes-assoc a i process op)

Given an array like [process-id op-id process-id op-id ...], an index where the process/op pair belong, a process id, and an op id, upserts the process id and op id into a copy of the array, maintaining sorted order.

array-processes-dissoc clj

(array-processes-dissoc a i)

Like array-processes-assoc, but deletes the elements at i and i+1, returning a copy of the array without them.

array-processes-search clj

(array-processes-search a process)

Given a process ID and an int array like [process-id op-id process-id op-id ....], finds the array index of this process ID. (inc idx) will give the index of the corresponding process ID. If the process is not present, returns (dec (- insertion-point)), where insertion point is where the process index would be, after insertion into the array.

call clj

(call ps op)

Adds an operation being called with the calling state.

calling? clj

(calling? ps p)

Is this process currently calling an operation?

calls clj

(calls ps)

A reducible of called but unlinearized operations.

calls-count clj

(calls-count ps)

How many calls are outstanding?

config clj

(config model history)

An initial configuration around a given model and history.

config->map clj

(config->map indices config)

Turns a config into a nice map showing the state of the world at that point.

estimated-cost clj

(estimated-cost config)

Roughly how expensive do we think a config is going to be to JIT-linearize? We'll estimate based on the cardinality of the pending set.

gammaish clj

(gammaish n)

Nemes approximation to the gamma function

idle? clj

(idle? ps p)

Is this process doing nothing?

linearize clj

(linearize ps op)

Changes the given operation from calling to returning.

map-processes clj

(map-processes)

A Processes tracker based on Clojure maps.

memoized-map-processes clj

(memoized-map-processes)

A Processes tracker based on Clojure maps, with memoized hashcode for faster hashing and equality.

return clj

(return ps op)

Removes an operation from the returned set.

returning? clj

(returning? ps p)

Is this process returning an operation?

set-config-set clj

(set-config-set)

(set-config-set coll)

An empty set-backed config set, or one backed by a collection.