VarExpression Member List
This is the complete list of members for
VarExpression, including all inherited members.
| bit | VarExpression | [private] |
| clone() | VarExpression | |
| containsDirectOutput() | Expression | [virtual] |
| cur_val | OperandExpression | [protected] |
| eval(OutputStream &eos, Environment *env, unsigned modus) | VarExpression | [virtual] |
| Expression(EXP_TYPE _type) | Expression | |
| extractDependencies(vector< DependencySet * > *depset) | VarExpression | [virtual] |
| extractFSAMap(FSAMap *fsamap, unsigned parent_var) | Expression | [virtual] |
| extractParVarMap(ParVarMap *parvarmap) | Expression | [virtual] |
| getId() | VarExpression | [inline] |
| getNextValue() | VarExpression | [virtual] |
| getOperandType() | OperandExpression | [inline] |
| getType() | Expression | [inline] |
| id | VarExpression | [protected] |
| init(BufferNode *root) | VarExpression | [virtual] |
| initial | OperandExpression | [protected] |
| isSingleValued() | VarExpression | [inline, 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) | VarExpression | [virtual] |
| print(OutputStream &dos) const | VarExpression | [virtual] |
| replaceVarId(unsigned old_id, unsigned new_id) | VarExpression | [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) | VarExpression | [virtual] |
| setId(unsigned _id) | VarExpression | [inline] |
| setType(EXP_TYPE _type) | Expression | [inline] |
| tagmap | Expression | [protected] |
| type | Expression | [protected] |
| unprepareOperand() | VarExpression | [virtual] |
| VarExpression() | VarExpression | |
| VarExpression(const char *_name) | VarExpression | |
| VarExpression(const char *_name, bool _force) | VarExpression | |
| VarExpression(EXP_TYPE _type, unsigned _id) | VarExpression | |
| ~Expression() | Expression | [virtual] |
| ~OperandExpression() | OperandExpression | [virtual] |
| ~VarExpression() | VarExpression | [virtual] |
