Trees
Indices
Help
Package transf
::
Package lib
:: Module arith
[
frames
] |
no frames
]
Module arith
Arithmetic transformations.
Classes
Count
Variables
NegInt
=
lambda o:
IncInt
=
lambda o:
DecInt
=
lambda o:
AddInt
=
lambda l, r:
SubInt
=
lambda l, r:
MulInt
=
lambda l, r:
DivInt
=
lambda l, r:
EqInt
=
lambda l, r:
NeqInt
=
lambda l, r:
GtInt
=
lambda l, r:
LtInt
=
lambda l, r:
GeqInt
=
lambda l, r:
LeqInt
=
lambda l, r:
Neg
=
lambda o:
Inc
=
lambda o:
Dec
=
lambda o:
Add
=
lambda l, r:
Sub
=
lambda l, r:
Mul
=
lambda l, r:
Div
=
lambda l, r:
Eq
=
lambda l, r:
Neq
=
lambda l, r:
Gt
=
lambda l, r:
Lt
=
lambda l, r:
Geq
=
lambda l, r:
Leq
=
lambda l, r:
add
=
Add(project.first, project.second)
Trees
Indices
Help
Generated by Epydoc 3.0beta1 on Sat Aug 4 01:33:48 2007
http://epydoc.sourceforge.net