Function varisat::assumptions::enqueue_assumption

pub fn enqueue_assumption<'a>(
    ctx: Const<VariablesP, Const<ClauseAllocP, Mut<TrailP, Mut<TmpFlagsP, Mut<SolverStateP, Mut<ProofP<'a>, Mut<ImplGraphP, Mut<AssumptionsP, Mut<AssignmentP, Ref<Context<'a>>>>>>>>>>>
) -> EnqueueAssumption

Enqueue another assumption if possible.

Returns whether an assumption was enqueued, whether no assumptions are left or whether the assumptions result in a conflict.