| addCaller(CallStatement *caller) | Proc | [inline] |
| addCallers(std::set< UserProc * > &callers) | Proc | |
| address | Proc | [protected] |
| callerSet | Proc | [protected] |
| clearVisited() | Proc | [inline] |
| cluster | Proc | [protected] |
| getCallers() | Proc | [inline] |
| getCluster() | Proc | [inline] |
| getFirstCaller() | Proc | |
| getInternalStatements(StatementList &internal) | LibProc | |
| getName() | Proc | |
| getNativeAddress() | Proc | |
| getParamTypeList(const std::list< Exp * > &actuals) | Proc | |
| getPremised(Exp *left) | LibProc | [inline, virtual] |
| getProg() | Proc | [inline] |
| getProven(Exp *left) | LibProc | [virtual] |
| getSignature() | Proc | [inline] |
| isLib() | LibProc | [inline, virtual] |
| isNoReturn() | LibProc | [virtual] |
| isPreserved(Exp *e) | LibProc | [virtual] |
| isVisited() | Proc | [inline] |
| LibProc(Prog *prog, std::string &name, ADDRESS address) | LibProc | |
| LibProc() | LibProc | [inline, protected] |
| m_firstCaller | Proc | [protected] |
| m_firstCallerAddr | Proc | [protected] |
| matchParams(std::list< Exp * > &actuals, UserProc &caller) | Proc | |
| operator<<(std::ostream &os, Proc &proc) | Proc | [friend] |
| printCallGraphXML(std::ostream &os, int depth, bool recurse=true) | Proc | [virtual] |
| printDetailsXML() | Proc | |
| Proc(Prog *prog, ADDRESS uNative, Signature *sig) | Proc | |
| Proc() | Proc | [inline, protected] |
| prog | Proc | [protected] |
| provenTrue | Proc | [protected] |
| recurPremises | Proc | [protected] |
| removeParameter(Exp *e) | Proc | |
| removeReturn(Exp *e) | Proc | [virtual] |
| renameParam(const char *oldName, const char *newName) | Proc | [virtual] |
| setCluster(Cluster *c) | Proc | [inline] |
| setFirstCaller(Proc *p) | Proc | [inline] |
| setName(const char *nam) | Proc | |
| setNativeAddress(ADDRESS a) | Proc | |
| setProg(Prog *p) | Proc | [inline] |
| setProvenTrue(Exp *fact) | Proc | |
| setSignature(Signature *sig) | Proc | [inline] |
| signature | Proc | [protected] |
| visited | Proc | [protected] |
| XMLProgParser class | LibProc | [friend] |
| ~LibProc() | LibProc | [virtual] |
| ~Proc() | Proc | [virtual] |
