1. Sébastien Ferré
  2. ocaml-lib

Commits

sbf  committed 67582f6

Add of function 'simpl' in the signature of a logic.

  • Participants
  • Parent commits df947f6
  • Branches master

Comments (0)

Files changed (1)

File logdag.ml

View file
     val gen : t -> t -> t list -> t list  (** Dichotomic operator for generating new features. *)
     val parse : Syntax.t_stream -> t  (** Parsing of formulas from token streams. *)
     val print : t -> Syntax.t_list  (** Printing of formulas to token lists. *)
+    val simpl : t -> t Stream.t  (** Simplifications of a formula. *)
   end
 
 (** The signature of implementations of logical diagrams. *)