File: farith.ext

package info (click to toggle)
klic 3.003-1.1
  • links: PTS
  • area: main
  • in suites: woody
  • size: 7,068 kB
  • ctags: 6,333
  • sloc: ansic: 101,584; makefile: 3,395; sh: 1,321; perl: 312; exp: 131; tcl: 111; asm: 102; lisp: 4; sed: 1
file content (41 lines) | stat: -rw-r--r-- 1,487 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
module_floating__arithmetics
predicate_floating__arithmetics_xfloating__point__add_3
predicate_floating__arithmetics_xfloating__point__subtract_3
predicate_floating__arithmetics_xfloating__point__multiply_3
predicate_floating__arithmetics_xfloating__point__divide_3
predicate_floating__arithmetics_xfloating__point__power_3
predicate_floating__arithmetics_xfloating__point__sin_2
predicate_floating__arithmetics_xfloating__point__cos_2
predicate_floating__arithmetics_xfloating__point__tan_2
predicate_floating__arithmetics_xfloating__point__asin_2
predicate_floating__arithmetics_xfloating__point__acos_2
predicate_floating__arithmetics_xfloating__point__atan_2
predicate_floating__arithmetics_xfloating__point__sinh_2
predicate_floating__arithmetics_xfloating__point__cosh_2
predicate_floating__arithmetics_xfloating__point__tanh_2
predicate_floating__arithmetics_xfloating__point__exp_2
predicate_floating__arithmetics_xfloating__point__log_2
predicate_floating__arithmetics_xfloating__point__sqrt_2
predicate_floating__arithmetics_xfloating__point__ceil_2
predicate_floating__arithmetics_xfloating__point__floor_2
predicate_floating__arithmetics_xfloating__point__to__integer_2
functor_int_1
functor_sin_1
functor_cos_1
functor_tan_1
functor_asin_1
functor_acos_1
functor_atan_1
functor_sinh_1
functor_cosh_1
functor_tanh_1
functor_exp_1
functor_log_1
functor_sqrt_1
functor_ceil_1
functor_floor_1
functor_add_2
functor_subtract_2
functor_multiply_2
functor_divide_2
functor_power_2