slicer Member List

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

algorithm(bool sideeffect)	algorithm< symex_target_equationt::SSA_stepst >	inline
has_sideeffect()	algorithm< symex_target_equationt::SSA_stepst >	inline
ignored() const override	slicer	inlinevirtual
run(symex_target_equationt::SSA_stepst &)=0	algorithm< symex_target_equationt::SSA_stepst >	pure virtual
run_on_assert(symex_target_equationt::SSA_stept &)	ssa_step_algorithm	inlinevirtual
run_on_assignment(symex_target_equationt::SSA_stept &)	ssa_step_algorithm	inlinevirtual
run_on_assume(symex_target_equationt::SSA_stept &)	ssa_step_algorithm	inlinevirtual
run_on_branching(symex_target_equationt::SSA_stept &)	ssa_step_algorithm	inlinevirtual
run_on_output(symex_target_equationt::SSA_stept &)	ssa_step_algorithm	inlinevirtual
run_on_renumber(symex_target_equationt::SSA_stept &)	ssa_step_algorithm	inlinevirtual
run_on_skip(symex_target_equationt::SSA_stept &)	ssa_step_algorithm	inlinevirtual
run_on_step(symex_target_equationt::SSA_stept &)	ssa_step_algorithm
sideeffect	algorithm< symex_target_equationt::SSA_stepst >	protected
sliced	slicer	protected
slicer()	slicer	inline
ssa_step_algorithm(bool sideffect)	ssa_step_algorithm	inlineexplicit
~algorithm()=default	algorithm< symex_target_equationt::SSA_stepst >	virtual