Naive slicer: slice every step after the last assertion. More...

#include <slice.h>

Inheritance diagram for simple_slice:

Public Member Functions
	simple_slice ()=default
bool	run (symex_target_equationt::SSA_stepst &) override
	Naive slicer: slice every step after the last assertion.
Public Member Functions inherited from slicer
	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
bool	has_sideeffect ()
	Says wether the algorithm is a plain analysis or if it also changes the structure.

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

Detailed Description

Naive slicer: slice every step after the last assertion.

The number of ignored steps is reported via ignored().

Constructor & Destructor Documentation

simple_slice::simple_slice ( )

default

bool simple_slice::run ( symex_target_equationt::SSA_stepst & steps )

overridevirtual

Naive slicer: slice every step after the last assertion.

Parameters

steps SSA steps to be sliced

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