Type Alias ContextHandle

pub 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: CEStructure, sat::Formula, solver::Solver, and solver::Solution.

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

Aliased Type

pub struct ContextHandle { /* private fields */ }