Module_Name
This module aims to count the number of steps in the theories used to solve the problem.
type incr_kind = | MatchingMatching step increment
*)| Interval_CalculusArith : Interval Calculus increment
*)| FourierArith : FourierMotzkin step increment
*)| OmegaArith : number of omega procedure on Real and Int
*)| UfUF step increment
*)| AcAC step reasoning
*)| CPConstraint propagation
*)| Th_assumed of intIncrement the counter for each term assumed in the theories environment
*)Define the type of increment
val incr : incr_kind -> unitIncrement the number of steps depending of the incr_kind
Errors.Error.Invalid_steps_count if the number of steps is inbound by the --steps-bound option.
Run_error Errors.run_error.Invalid_steps_count if the number of steps sent to the theories is invalid.
{!Util.Step_limit_reached} if the number of steps is reached
Disables the step limit during the execution of the continuation.