comment | CommentExpression | [private] |
CommentExpression(const char *_comment) | CommentExpression | |
containsDirectOutput() | Expression | [virtual] |
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] |
getType() | Expression | [inline] |
init(BufferNode *root) | Expression | [virtual] |
mergeSequences() | Expression | [virtual] |
placeSignOffs(vector< SignOffExpression * > &signoffs) | Expression | [virtual] |
print(OutputStream &dos) const | CommentExpression | [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] |
~CommentExpression() | CommentExpression | [virtual] |
~Expression() | Expression | [virtual] |