MapVarBound

Synopsis

Declared in <src/midend/astUtil/symbolicVal/SymbolicBound.h>

class MapVarBound
    : public MapObject<SymbolicVal, SymbolicBound>
    , public SymbolicVisitor

Base Classes

Name	Description
MapObject<SymbolicVal, SymbolicBound>
SymbolicVisitor

Member Functions

Name

add

operator() [virtual]

Private Types

Name

Key

MapBound

Private Member Functions

Name

VisitVar [virtual]

Private Data Members

Name

bmap

result

Created with MrDocs