Function varisat::variables::solver_from_global

pub fn solver_from_global<'a>(
    ctx: Mut<WatchlistsP, Mut<VsidsP, Mut<VariablesP, Mut<TmpFlagsP, Mut<SolverStateP, Mut<ProofP<'a>, Mut<ImplGraphP, Mut<BinaryClausesP, Mut<AssignmentP, Mut<AnalyzeConflictP, Ref<Context<'a>>>>>>>>>>>>, 
    global: Var
) -> Var

Maps an existing global variable to a solver variable.

If no matching solver variable exists a new one is allocated.