Commits

Anonymous committed 8f30968

Add of value 'simpl' in LOG.

  • Participants
  • Parent commits e7c7cb3

Comments (0)

Files changed (1)

     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. *)