[−][src]Function varisat::decision::remove_var
pub fn remove_var(ctx: Mut<VsidsP, Ref<Context>>, var: Var)
Remove a variable from the decision heuristics.
pub fn remove_var(ctx: Mut<VsidsP, Ref<Context>>, var: Var)
Remove a variable from the decision heuristics.