cprover
goto_symex_statet::propagationt Class Reference

#include <goto_symex_state.h>

Collaboration diagram for goto_symex_statet::propagationt:
[legend]

Public Types

typedef std::map< irep_idt, exprtvaluest
 

Public Member Functions

void operator() (exprt &expr)
 
void remove (const irep_idt &identifier)
 

Public Attributes

valuest values
 

Detailed Description

Definition at line 135 of file goto_symex_state.h.

Member Typedef Documentation

◆ valuest

Definition at line 138 of file goto_symex_state.h.

Member Function Documentation

◆ operator()()

void goto_symex_statet::propagationt::operator() ( exprt expr)

Definition at line 390 of file goto_symex_state.cpp.

References Forall_operands, irept::get(), and irept::id().

◆ remove()

void goto_symex_statet::propagationt::remove ( const irep_idt identifier)
inline

Member Data Documentation

◆ values

valuest goto_symex_statet::propagationt::values

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