## lustrec / include / lustrec_math.smt2 @ 4d841db7

History | View | Annotate | Download (869 Bytes)

1 |
(declare-rel acos ( Real Real) ) |
---|---|

2 |
(declare-rel acosh ( Real Real) ) |

3 |
(declare-rel asin ( Real Real) ) |

4 |
(declare-rel asinh ( Real Real) ) |

5 |
(declare-rel atan ( Real Real) ) |

6 |
(declare-rel atan2(Real Real Real) ) |

7 |
(declare-rel atanh ( Real Real) ) |

8 |
(declare-rel cbrt ( Real Real) ) |

9 |
(declare-rel cos ( Real Real) ) |

10 |
(declare-rel cosh ( Real Real) ) |

11 |
(declare-rel ceil ( Real Real) ) |

12 |
(declare-rel erf ( Real Real) ) |

13 |
(declare-rel fabs ( Real Real) ) |

14 |
(declare-rel floor ( Real Real) ) |

15 |
(declare-rel fmod (Real Real Real) ) |

16 |
(declare-rel tan ( Real Real) ) |

17 |
(declare-rel pow (Real Real Real) ) |

18 |
(declare-rel round ( Real Real) ) |

19 |
(declare-rel sin ( Real Real) ) |

20 |
(declare-rel sinh ( Real Real) ) |

21 |
(declare-rel sqrt ( Real Real) ) |

22 |
(declare-rel trunc ( Real Real) ) |

23 |
(declare-rel exp ( Real Real) ) |

24 |
(declare-rel log ( Real Real) ) |

25 |
(declare-rel log10 ( Real Real) ) |

26 |
(declare-rel tanh ( Real Real) ) |