module Nts_types: sig
.. end
Type definition for numerical transition systems' relations.
This file is part of the Ocaml NTL lib, developped in the
Team DCS of the Verimag laboratory.
Contact florent dot garnier at imag dot fr for comments
suggestions or questions.
This file as well as all the files of the Ocaml Ntl library
are realeased under the terms of the GNU LGPL version 2.1
Licence.
exception Not_LiPVar
exception Not_LiVar
exception Not_Guard
exception Invalid_nts_expression
exception Not_an_if_then_else_condition_guard
type
nts_quantifier =
type
nts_base_types =
| |
NtsIntType |
| |
NtsRealType |
| |
NtsBoolType |
| |
NtsUnTyped |
type
nts_var =
type
nts_primed_type =
| |
NtsPrimed |
| |
NtsUnPrimed |
type
nts_genrel_var =
type
cnt_binop =
| |
CntEq |
| |
CntNeq |
| |
CntLeq |
| |
CntLt |
| |
CntGt |
| |
CntGeq |
type
nts_gen_arithm_binop =
| |
CntGenSum |
| |
CntGenMinus |
| |
CntGenProd |
| |
CntGenDiv |
| |
CntGenMod |
type
nts_gen_arithm_unop =
type
nts_gen_bool_cst =
type
nts_gen_bool_binop =
type
nts_base_type_cst =
| |
CntGenICst of Big_int.big_int |
| |
CntGenFCst of float |
| |
CntGenBCst of nts_gen_bool_cst |
type
nts_symbolic_constant =
type
nts_genrel_arithm_exp =
type
ref_nts_array =
type
nts_array =
type
fixed_size_nts_array =
type
nts_array_var =
type
nts_gen_relation =
type
nts_trans_label =