-
Alexandre Duret-Lutz authored* iface/dve2/dve2.cc (convert_aps): Add support for enumerated types. E.g. an atomic proposition such as "P_0.CS" really means "P_0 == CS".
7b5879d2
* iface/dve2/dve2.cc (convert_aps): Add support for enumerated types. E.g. an atomic proposition such as "P_0.CS" really means "P_0 == CS".