basic_step

Functions

apply_basic_step(disjunctions_or_constraints)