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)