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
*)| 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. Errors.run_error.Steps_limit if the number of steps is reached