Operations that monitor and alter the active engine. Incremental applications should not use these operations directly.
True iff the current engine is a
True iff the current engine is
Initializes global state with a fresh DCG-based engine; returns the old engine. The DCG is the central implementation structure behind Adapton. At a high level, it consists of a data dependence graph (the "demanded computation graph"), and an associated memoization table.
Initializes global state with a ("fresh") Naive engine; returns the old engine. The naive engine is stateless, and performs no memoization and builds no dependence graphs. (Since the naive engine is stateless, every instance of the naive engine is equivalent to a "fresh" one).
Switch to using the given