P4::P4Tools::P4Testgen::Pna::PnaSymbolicVars Class Reference

variabless are variables that can be controlled and set by P4Testgen. More...

#include <constants.h>

Static Public Attributes
static const IR::SymbolicVariable	DIRECTION
	The input direction.

Detailed Description

variabless are variables that can be controlled and set by P4Testgen.

Member Data Documentation

DIRECTION

const IR::SymbolicVariable P4::P4Tools::P4Testgen::Pna::PnaSymbolicVars::DIRECTION

static

Initial value:

=
    IR::SymbolicVariable(IR::Type_Bits::get(32), "direction"_cs)

The input direction.