| containsDirectOutput() | Expression | [virtual] |
| cur_val | OperandExpression | [protected] |
| eval(OutputStream &eos, Environment *env, unsigned modus) | Expression | [virtual] |
| Expression(EXP_TYPE _type) | Expression | |
| extractDependencies(vector< DependencySet * > *depset) | Expression | [virtual] |
| extractFSAMap(FSAMap *fsamap, unsigned parent_var) | Expression | [virtual] |
| extractParVarMap(ParVarMap *parvarmap) | Expression | [virtual] |
| getNextValue()=0 | OperandExpression | [pure virtual] |
| getOperandType() | OperandExpression | [inline] |
| getType() | Expression | [inline] |
| init(BufferNode *root) | Expression | [virtual] |
| initial | OperandExpression | [protected] |
| isSingleValued()=0 | OperandExpression | [pure virtual] |
| mergeSequences() | Expression | [virtual] |
| op_type | OperandExpression | [protected] |
| OperandExpression(EXP_TYPE _type, EXP_TYPE _op_type) | OperandExpression | |
| placeSignOffs(vector< SignOffExpression * > &signoffs) | Expression | [virtual] |
| prepareOperand(OutputStream &eos, Environment *env, unsigned modus)=0 | OperandExpression | [pure virtual] |
| print(OutputStream &dos) const =0 | Expression | [pure virtual] |
| replaceVarId(unsigned old_id, unsigned new_id) | Expression | [virtual] |
| rewriteAggregateFuncts() | Expression | [virtual] |
| rewriteEmptyFuncts() | Expression | [virtual] |
| rewriteVarstepCondExps() | Expression | [virtual] |
| rewriteVarsteps() | Expression | [virtual] |
| rewriteWhereExps() | Expression | [virtual] |
| scopeCheck(vector< unsigned > &def_vars, vector< unsigned > &introduced_vars, vector< unsigned > &violating_vars) | Expression | [virtual] |
| setType(EXP_TYPE _type) | Expression | [inline] |
| tagmap | Expression | [protected] |
| type | Expression | [protected] |
| unprepareOperand()=0 | OperandExpression | [pure virtual] |
| ~Expression() | Expression | [virtual] |
| ~OperandExpression() | OperandExpression | [virtual] |
1.5.9