Project

General

Profile

« Previous | Next » 

Revision 89fd79f0

Added by LĂ©lio Brun over 2 years ago

a working version for automata with 'last' case of enums as default case

View differences:

src/spec_types.ml
46 46
  | True
47 47
  | False
48 48
  | Equal : ('a, left_v) expression_t * ('a, 'b) expression_t -> 'a formula_t
49
  | GEqual : ('a, left_v) expression_t * ('a, 'b) expression_t -> 'a formula_t
49 50
  | And of 'a formula_t list
50 51
  | Or of 'a formula_t list
51 52
  | Imply of 'a formula_t * 'a formula_t

Also available in: Unified diff