/include/math.smt2 - LustreC

| Branch: | Tag: | Revision:

lustrec / include / math.smt2 @ 86ae18b7

History | View | Annotate | Download (195 Bytes)

1	(declare-rel cbrt (Real Real))
2	(declare-rel ceil (Real Real))
3	(declare-rel erf (Real Real))
4	(declare-rel fabs (Real Real))
5	(declare-rel pow (Real Real Real))
6	(declare-rel sqrt (Real Real))