package libzipperposition

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

Module Libzipperposition.SignalsSource

Useful signals

Sourceval on_print_stats : unit Logtk.Signal.t

Called when/if it's time to print statistics

Sourceval on_before_process_file : string Logtk.Signal.t

Called before starting solving a problem

Sourceval on_exit : int Logtk.Signal.t

Called before exit

Sourceval on_dot_output : unit Logtk.Signal.t

Called when dot printers should activate