Package bap :: Module bil :: Class Ite
[hide private]
[frames] | no frames]

Class Ite

source code

object --+        
         |        
   adt.ADT --+    
             |    
           Exp --+
                 |
                Ite

Ite (cond,if_true,if_false)

Instance Methods [hide private]

Inherited from adt.ADT: __cmp__, __init__, __repr__

Inherited from object: __delattr__, __format__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __setattr__, __sizeof__, __str__, __subclasshook__

Properties [hide private]
  cond
  false
  true

Inherited from object: __class__

Property Details [hide private]

cond

Get Method:
unreachable.cond(self)

false

Get Method:
unreachable.false(self)

true

Get Method:
unreachable.true(self)