symex_targett Member List

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

ASSERT enum value	symex_targett
assertion(const expr2tc &guard, const expr2tc &cond, const expr2tc &cond_neg, const std::string &msg, std::vector< stack_framet > stack_trace, const sourcet &source, unsigned loop_number)=0	symex_targett	pure virtual
ASSIGNMENT enum value	symex_targett
assignment(const expr2tc &guard, const expr2tc &lhs, const expr2tc &original_lhs, const expr2tc &rhs, const expr2tc &original_rhs, const sourcet &source, std::vector< stack_framet > stack_trace, const bool hidden, unsigned loop_number)=0	symex_targett	pure virtual
ASSUME enum value	symex_targett
assumption(const expr2tc &guard, const expr2tc &cond, const sourcet &source, unsigned loop_number)=0	symex_targett	pure virtual
branching(const expr2tc &guard, const expr2tc &cond, const sourcet &source, const bool hidden, unsigned loop_number)=0	symex_targett	pure virtual
BREANCHING enum value	symex_targett
clone() const =0	symex_targett	pure virtual
OUTPUT enum value	symex_targett
output(const expr2tc &guard, const sourcet &source, const std::string &fmt, const std::list< expr2tc > &args)=0	symex_targett	pure virtual
pop_ctx()=0	symex_targett	pure virtual
push_ctx()=0	symex_targett	pure virtual
reconstruct_symbolic_expression(expr2tc &expr, bool keep_local_variables) const =0	symex_targett	pure virtual
RENUMBER enum value	symex_targett
renumber(const expr2tc &guard, const expr2tc &symbol, const expr2tc &size, const sourcet &source)=0	symex_targett	pure virtual
SKIP enum value	symex_targett
step_typet enum name	symex_targett
~symex_targett()=default	symex_targett	virtual