Commit 0247525c authored by Thorsten Wißmann's avatar Thorsten Wißmann
Browse files

Add comments for CoAlgFormula.formula constructors

parent 59b6a7fd
......@@ -11,19 +11,19 @@ type sort = int
type formula =
| TRUE
| FALSE
| AP of string
| AP of string (* named atom *)
| NOT of formula
| AT of string * formula
| AT of string * formula (* @ *)
| OR of formula * formula
| AND of formula * formula
| EQU of formula * formula
| IMP of formula * formula
| EX of string * formula
| AX of string * formula
| ENFORCES of int list * formula
| ALLOWS of int list * formula
| MIN of int * string * formula
| MAX of int * string * formula
| EQU of formula * formula (* equivalence <=> *)
| IMP of formula * formula (* implication <-> *)
| EX of string * formula (* exists, diamond of K *)
| AX of string * formula (* forall, box of K *)
| ENFORCES of int list * formula (* CL *)
| ALLOWS of int list * formula (* CL *)
| MIN of int * string * formula (* some more intuitive diamond for GML *)
| MAX of int * string * formula (* some more intuitive box for GML *)
| MORETHAN of int * string * formula (* diamond of GML *)
| MAXEXCEPT of int * string * formula (* box of GML *)
| CHC of formula * formula
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment