| cond | IfExpression | [private] |
| containsDirectOutput() | IfExpression | [virtual] |
| elseexp | IfExpression | [private] |
| eval(OutputStream &eos, Environment *env, unsigned modus) | IfExpression | [virtual] |
| Expression(EXP_TYPE _type) | Expression | |
| extractDependencies(vector< DependencySet * > *depset) | IfExpression | [virtual] |
| extractFSAMap(FSAMap *fsamap, unsigned parent_var) | IfExpression | [virtual] |
| extractParVarMap(ParVarMap *parvarmap) | IfExpression | [virtual] |
| getType() | Expression | [inline] |
| IfExpression(CondExpression *_cond, Expression *_thenexp, Expression *_elseexp) | IfExpression | |
| init(BufferNode *root) | IfExpression | [virtual] |
| mergeSequences() | IfExpression | [virtual] |
| placeSignOffs(vector< SignOffExpression * > &signoffs) | IfExpression | [virtual] |
| print(OutputStream &dos) const | IfExpression | [virtual] |
| replaceVarId(unsigned old_id, unsigned new_id) | IfExpression | [virtual] |
| rewriteAggregateFuncts() | IfExpression | [virtual] |
| rewriteEmptyFuncts() | IfExpression | [virtual] |
| rewriteVarstepCondExps() | IfExpression | [virtual] |
| rewriteVarsteps() | IfExpression | [virtual] |
| rewriteWhereExps() | IfExpression | [virtual] |
| scopeCheck(vector< unsigned > &def_vars, vector< unsigned > &introduced_vars, vector< unsigned > &violating_vars) | IfExpression | [virtual] |
| setType(EXP_TYPE _type) | Expression | [inline] |
| tagmap | Expression | [protected] |
| thenexp | IfExpression | [private] |
| type | Expression | [protected] |
| ~Expression() | Expression | [virtual] |
| ~IfExpression() | IfExpression | [virtual] |
1.5.9