SignOffExpression Member List

This is the complete list of members for SignOffExpression, including all inherited members.

bit	SignOffExpression	[private]
containsDirectOutput()	Expression	[virtual]
eval(OutputStream &eos, Environment *env, unsigned modus)	SignOffExpression	[virtual]
exec_var	SignOffExpression	[private]
exec_varstep	SignOffExpression	[private]
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]
getVar()	SignOffExpression	[virtual]
init(BufferNode *root)	SignOffExpression	[virtual]
mergeSequences()	Expression	[virtual]
placeSignOffs(vector< SignOffExpression * > &signoffs)	Expression	[virtual]
print(OutputStream &dos) const	SignOffExpression	[virtual]
replaceVarId(unsigned old_id, unsigned new_id)	SignOffExpression	[virtual]
rewriteAggregateFuncts()	Expression	[virtual]
rewriteEmptyFuncts()	Expression	[virtual]
rewriteVarstepCondExps()	Expression	[virtual]
rewriteVarsteps()	Expression	[virtual]
rewriteWhereExps()	Expression	[virtual]
role	SignOffExpression	[private]
scopeCheck(vector< unsigned > &def_vars, vector< unsigned > &introduced_vars, vector< unsigned > &violating_vars)	SignOffExpression	[virtual]
setType(EXP_TYPE _type)	Expression	[inline]
SignOffExpression(VarExpression *_var, Role *_role)	SignOffExpression
SignOffExpression(VarStepExpression *_varstep, Role *_role)	SignOffExpression
tagmap	Expression	[protected]
type	Expression	[protected]
var	SignOffExpression	[private]
varstep	SignOffExpression	[private]
~Expression()	Expression	[virtual]
~SignOffExpression()	SignOffExpression	[virtual]