Revision 89fd79f0
Added by Lélio Brun over 3 years ago
| 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
a working version for automata with 'last' case of enums as default case