ilang::Unroller Member List

This is the complete list of members for ilang::Unroller, including all inherited members.

AddGlobPred(const ExprPtr &p)	ilang::Unroller
AddInitPred(const ExprPtr &p)	ilang::Unroller
AddStepPred(const ExprPtr &p, const int &k)	ilang::Unroller
ClearGlobPred()	ilang::Unroller
ClearInitPred()	ilang::Unroller
ClearPred()	ilang::Unroller
ClearStepPred()	ilang::Unroller
CurrState(const ExprPtr &v, const int &t)	ilang::Unroller
DecodeCmpl(const InstrPtr &instr)	ilang::Unroller	protectedstatic
DefineDepVar()=0	ilang::Unroller	protectedpure virtual
Equal(const ExprPtr &va, const int &ta, const ExprPtr &vb, const int &tb)	ilang::Unroller
GetZ3Expr(const ExprPtr &e, const int &t)	ilang::Unroller
GetZ3Expr(const ExprPtr &e)	ilang::Unroller
GetZ3FuncDecl(const FuncPtr &f) const	ilang::Unroller
IExprVec typedef	ilang::Unroller	protected
k_next_	ilang::Unroller	protected
k_pred_	ilang::Unroller	protected
NewFreeVar(const ExprPtr &var, const std::string &name)	ilang::Unroller	protectedstatic
NextState(const ExprPtr &v, const int &t)	ilang::Unroller
StateUpdCmpl(const InstrPtr &instr, const ExprPtr &var)	ilang::Unroller	protectedstatic
Transition(const int &idx)=0	ilang::Unroller	protectedpure virtual
UnrollAssn(const size_t &len, const int &pos, bool cache=false)	ilang::Unroller	protected
Unroller(z3::context &ctx, const std::string &suffix)	ilang::Unroller
UnrollNone(const size_t &len, const int &pos)	ilang::Unroller	protected
UnrollSubs(const size_t &len, const int &pos)	ilang::Unroller	protected
vars_	ilang::Unroller	protected
ZExpr typedef	ilang::Unroller	protected
ZExprVec typedef	ilang::Unroller	protected
~Unroller()	ilang::Unroller	virtual