class altergo : pid:'a -> gui:bool -> file:string -> lines:(string * int) list -> logout:string -> logerr:string ->
object
.. end
Inherits
val mutable files : (string * int) list
val mutable error : (Lexing.position * string) option
val mutable valid : bool
val mutable limit : bool
val mutable unsat : bool
val mutable time : float
val mutable steps : int
method private time : float -> unit
method private error : ProverTask.pattern -> unit
method private valid : ProverTask.pattern -> unit
method private limit : ProverTask.pattern -> unit
method private unsat : ProverTask.pattern -> unit
method result : int -> VCS.result
method prove : ?echo:bool -> unit -> int Task.task