Gymbo

Public Member Functions | Public Attributes | List of all members
gymbo::Trace Struct Reference

Struct representing a trace in symbolic execution. More...

`#include <type.h>`

Collaboration diagram for gymbo::Trace:
[legend]

## Public Member Functions
| Trace (SymState data, std::vector< Trace > children)
| Constructor for a trace. More...
void | print (int indent_cnt=0) const
| Prints a human-readable representation of the trace. More...

## Public Attributes
SymState | data
std::vector< Trace > | children

## Detailed Description

Struct representing a trace in symbolic execution.

## Constructor & Destructor Documentation

## ◆ Trace()

gymbo::Trace::Trace | ( | SymState | data,
|  | std::vector< Trace > | children
| ) |  |
| inline

Constructor for a trace.

Parameters

  data | Symbolic state of the trace.
  children | Children traces.

## Member Function Documentation

## ◆ print()

void gymbo::Trace::print | ( | int | indent_cnt = `0` | ) | const
| inline

Prints a human-readable representation of the trace.

Parameters

  indent_cnt | Number of spaces to indent the output.

## Member Data Documentation

## ◆ children

std::vector<Trace> gymbo::Trace::children

Children traces.

## ◆ data

SymState gymbo::Trace::data

Symbolic state of the trace.

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

- libgymbo/type.h