ExpSourceLucky Boolean and numeric expressions.
type t = | Formu of formula| Numer of num| Liste of simple_tblstruct and arrays are flattened in such a list
*)and formula = | And of formula * formula| Or of formula * formula| Xor of formula * formula| NXor of formula list| Nor of formula list| Diese of formula list| Impl of formula * formula| IteB of formula * formula * formula| Not of formula| EqB of formula * formula| True| False| Bvar of var| Eq of num * num| Sup of num * num| SupEq of num * num| Inf of num * num| InfEq of num * numand num = | Sum of num * num| Diff of num * num| Prod of num * num| Quot of num * num| Mod of num * num| Div of num * num| Uminus of num| Inf_int| Ival of Num.num| Fval of float| Ivar of var| Fvar of var| FFC of func_call_arg| IFC of func_call_arg| Gcont of num * num * num| Gstop of num * num * num| Icont of num * num * num| Istop of num * num * num| Ite of formula * num * numA weight can be an integer, or a integer expression that depends only on inputs and memories.
remove from a string everything that is before the first "." or the first "". This is useful to go to var_tbl indexes (which depends on the var name) to simple_tbl indexes (which depend only on the type).