Function varisat::schedule::schedule_step

pub fn schedule_step<'a>(
    ctx: Const<SolverConfigP, Mut<WatchlistsP, Mut<VsidsP, Mut<VariablesP, Mut<TrailP, Mut<TmpFlagsP, Mut<TmpDataP, Mut<SolverStateP, Mut<ScheduleP, Mut<ProofP<'a>, Mut<ModelP, Mut<ImplGraphP, Mut<ClauseDbP, Mut<ClauseAllocP, Mut<ClauseActivityP, Mut<BinaryClausesP, Mut<AssumptionsP, Mut<AssignmentP, Mut<AnalyzeConflictP, Ref<Context<'a>>>>>>>>>>>>>>>>>>>>>
) -> bool

Perform one step of the schedule.