P4C
The P4 Compiler
|
#include <small_step.h>
Classes | |
struct | Branch |
Public Types | |
using | Result = std::vector<Branch> * |
Public Member Functions | |
SmallStepEvaluator (AbstractSolver &solver, const ProgramInfo &programInfo) | |
Result | step (ExecutionState &state) |
Static Public Attributes | |
static constexpr uint64_t | MAX_GUARD_VIOLATIONS = 100 |
Friends | |
class | CommandVisitor |
The main class that implements small-step operational semantics. Delegates to implementations of AbstractStepper.
|
staticconstexpr |
Specifies how many times a guard can be violated in the interpreter until it throws an error.