Module M.ModelStatus

type t = Lp_highs_bindings_types.M(G).ModelStatus.t =
  1. | NOTSET
  2. | LOAD_ERROR
  3. | MODEL_ERROR
  4. | PRESOLVE_ERROR
  5. | SOLVE_ERROR
  6. | POSTSOLVE_ERROR
  7. | MODEL_EMPTY
  8. | OPTIMAL
  9. | INFEASIBLE
  10. | UNBOUNDED_OR_INFEASIBLE
  11. | UNBOUNDED
  12. | OBJECTIVE_BOUND
  13. | OBJECTIVE_TARGET
  14. | TIME_LIMIT
  15. | ITERATION_LIMIT
  16. | UNKNOWN
  17. | SOLUTION_LIMIT
  18. | INTERRUPT
val of_int : int Lp_highs_consts.G.const -> t
val to_int : t -> int Lp_highs_consts.G.const
val to_string : t -> string
val t : t G.typ