cprover
graphml_witness.cpp File Reference

Witnesses for Traces and Proofs. More...

#include "graphml_witness.h"
#include <util/base_type.h>
#include <util/byte_operators.h>
#include <util/c_types.h>
#include <util/arith_tools.h>
#include <util/prefix.h>
#include <util/ssa_expr.h>
Include dependency graph for graphml_witness.cpp:

Go to the source code of this file.

Functions

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

Detailed Description

Witnesses for Traces and Proofs.

Definition in file graphml_witness.cpp.

Function Documentation

§ 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