Function varisat::prop::assignment::full_restart

pub fn full_restart(
    ctx: Mut<VsidsP, Mut<TrailP, Mut<AssumptionsP, Mut<AssignmentP, Ref<Context>>>>>
)

Undo all decisions and assumptions.