Type Definition aces::ContextHandle

type ContextHandle = Arc<Mutex<Context>>;

A handle to a Context instance.

All Context handles used in aces have type Arc<Mutex<Context>>. They are stored permanently in the following structs: CES, sat::Formula, sat::Solver, and sat::Solution.

For another way of binding Context to data see Contextual trait and InContext struct.