Package bap :: Module bil :: Class Ite

Class Ite

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)