package libzipperposition

  1. Overview
  2. Docs
On This Page
  1. Useful signals
package libzipperposition
Legend:
Library
Module
Module type
Parameter
Class
Class type

Useful signals

val on_print_stats : unit Logtk.Signal.t

Called when/if it's time to print statistics

val on_before_process_file : string Logtk.Signal.t

Called before starting solving a problem

val on_exit : int Logtk.Signal.t

Called before exit

val on_dot_output : unit Logtk.Signal.t

Called when dot printers should activate