cprover
Loading...
Searching...
No Matches
graphml_witness.cpp File Reference

Witnesses for Traces and Proofs. More...

+ Include dependency graph for graphml_witness.cpp:

Go to the source code of this file.

Functions

static std::string expr_to_string (const namespacet &ns, const irep_idt &id, const exprt &expr)
 
static bool filter_out (const goto_tracet &goto_trace, const goto_tracet::stepst::const_iterator &prev_it, goto_tracet::stepst::const_iterator &it)
 
static bool contains_symbol_prefix (const exprt &expr, const std::string &prefix)
 

Detailed Description

Witnesses for Traces and Proofs.

Definition in file graphml_witness.cpp.

Function Documentation

◆ contains_symbol_prefix()

static bool contains_symbol_prefix ( const exprt & expr,
const std::string & prefix )
static

Definition at line 271 of file graphml_witness.cpp.

◆ expr_to_string()

static std::string expr_to_string ( const namespacet & ns,
const irep_idt & id,
const exprt & expr )
static

Definition at line 34 of file graphml_witness.cpp.

◆ filter_out()

static bool filter_out ( const goto_tracet & goto_trace,
const goto_tracet::stepst::const_iterator & prev_it,
goto_tracet::stepst::const_iterator & it )
static

Definition at line 228 of file graphml_witness.cpp.