Package bap :: Module bir :: Class Values

Class Values

           object --+        
                    |        
              adt.ADT --+    
                        |    
       object --+       |    
                |       |    
    _abcoll.Sized --+   |    
                    |   |    
       object --+   |   |    
                |   |   |    
 _abcoll.Iterable --+   |    
                    |   |    
       object --+   |   |    
                |   |   |    
_abcoll.Container --+   |    
                    |   |    
      _abcoll.Mapping --+    
                        |    
                  adt.Map --+
                            |
                           Values

A set of possible values, taken by a phi-node.

It is a mapping from the tid of a preceeding block, to an expression that denotes a value.

Nested Classes

[hide private]

Inherited from _abcoll.Sized: __metaclass__

Instance Methods

[hide private]

Inherited from adt.Map: __getitem__, __init__, __iter__, __len__

Inherited from adt.ADT: __cmp__, __repr__

Inherited from _abcoll.Mapping: __contains__, __eq__, __ne__, get, items, iteritems, iterkeys, itervalues, keys, values

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

Class Methods

[hide private]

Inherited from _abcoll.Sized: __subclasshook__

Class Variables

[hide private]

Inherited from adt.Map: __abstractmethods__

Inherited from adt.Map (private): _abc_cache

Inherited from _abcoll.Mapping: __hash__

Inherited from _abcoll.Mapping (private): _abc_negative_cache, _abc_negative_cache_version

Inherited from _abcoll.Sized (private): _abc_registry

Properties

[hide private]

Inherited from object: __class__