cprover
full_slicer.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Slicing
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_INSTRUMENT_FULL_SLICER_H
13 #define CPROVER_GOTO_INSTRUMENT_FULL_SLICER_H
14 
16 
17 void full_slicer(
18  goto_functionst &goto_functions,
19  const namespacet &ns);
20 
21 void property_slicer(
22  goto_functionst &goto_functions,
23  const namespacet &ns,
24  const std::list<std::string> &properties);
25 
27 {
28 public:
29  virtual ~slicing_criteriont();
31 };
32 
33 void full_slicer(
34  goto_functionst &goto_functions,
35  const namespacet &ns,
36  slicing_criteriont &criterion);
37 
38 #endif // CPROVER_GOTO_INSTRUMENT_FULL_SLICER_H
virtual ~slicing_criteriont()
Goto Programs with Functions.
instructionst::const_iterator const_targett
TO_BE_DOCUMENTED.
Definition: namespace.h:62
virtual bool operator()(goto_programt::const_targett)=0
void full_slicer(goto_functionst &goto_functions, const namespacet &ns)
void property_slicer(goto_functionst &goto_functions, const namespacet &ns, const std::list< std::string > &properties)