slicer Class Reference

#include <slice.h>

Inheritance diagram for slicer:

Public Member Functions
	slicer ()
BigInt	ignored () const override
	How many steps were ignored after this algorithm.
Public Member Functions inherited from ssa_step_algorithm
	ssa_step_algorithm (bool sideffect)
void	run_on_step (symex_target_equationt::SSA_stept &)
virtual void	run_on_assignment (symex_target_equationt::SSA_stept &)
virtual void	run_on_assume (symex_target_equationt::SSA_stept &)
virtual void	run_on_assert (symex_target_equationt::SSA_stept &)
virtual void	run_on_output (symex_target_equationt::SSA_stept &)
virtual void	run_on_skip (symex_target_equationt::SSA_stept &)
virtual void	run_on_renumber (symex_target_equationt::SSA_stept &)
virtual void	run_on_branching (symex_target_equationt::SSA_stept &)
Public Member Functions inherited from algorithm< symex_target_equationt::SSA_stepst >
	algorithm (bool sideeffect)
virtual	~algorithm ()=default
virtual bool	run (symex_target_equationt::SSA_stepst &)=0
	Executes the algorithm over a T object.
bool	has_sideeffect ()
	Says wether the algorithm is a plain analysis or if it also changes the structure.

Protected Attributes
BigInt	sliced = 0
	tracks how many steps were sliced
Protected Attributes inherited from algorithm< symex_target_equationt::SSA_stepst >
const bool	sideeffect

Constructor & Destructor Documentation

slicer()

slicer::slicer ( )

inline

Member Function Documentation

ignored()

BigInt slicer::ignored ( ) const

inlineoverridevirtual

How many steps were ignored after this algorithm.

Implements ssa_step_algorithm.

Member Data Documentation

sliced

BigInt slicer::sliced = 0

protected

tracks how many steps were sliced

---

The documentation for this class was generated from the following file:

• src/goto-symex/equation/slice.h