Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
This modules defines the smallest signatures for a solver state that allow to instantiate the Pipeline.Make functor.
Common interface for the state.
include Common
exception Error of tConvenient exception.
val warn : ?loc:Dolmen.Std.Loc.full -> t -> 'a Report.Warning.t -> 'a -> tEmit a warning
val error : ?loc:Dolmen.Std.Loc.full -> t -> 'a Report.Error.t -> 'a -> tEmit an error.
val time_limit : t -> floatThe time limit for one original statement (in seconds).
val size_limit : t -> floatThe size limit for one original statement (in octets).