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] |