[−][src]Function varisat::decision::make_available
pub fn make_available(ctx: Mut<VsidsP, Ref<Context>>, var: Var)
Make a variable available for decisions.
pub fn make_available(ctx: Mut<VsidsP, Ref<Context>>, var: Var)
Make a variable available for decisions.