[−][src]Type Definition ascesis::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: CEStructure
, sat::Formula
,
solver::Solver
, and solver::Solution
.
For another way of binding Context
to data see Contextual
trait and InContext
struct.