collected_nondet_value Struct Reference

Helper structure for collected nondet values. More...

#include <witnesses.h>

Public Attributes
std::string	symbol_name
expr2tc	symbol_expr
expr2tc	value_expr
type2tc	type

Detailed Description

Helper structure for collected nondet values.

Member Data Documentation

symbol_expr

expr2tc collected_nondet_value::symbol_expr

symbol_name

std::string collected_nondet_value::symbol_name

type

type2tc collected_nondet_value::type

value_expr

expr2tc collected_nondet_value::value_expr

---

The documentation for this struct was generated from the following file:

• src/goto-symex/witness/witnesses.h