P4C
The P4 Compiler
|
#include <constraints.h>
Public Member Functions | |
void | addConstraint (unsigned source, unsigned v) |
void | eraseConstraint () |
unsigned | getAlignment () const |
unsigned | getContainerSize () const |
unsigned | getReason () const |
bool | hasConstraint () const |
bool | isBridged () const |
bool | isDeparser () const |
bool | isDigest () const |
bool | isIntrinsic () const |
bool | isParser () const |
bool | isTernaryMatch () const |
bool | operator< (AlignmentConstraint const &a) const |
bool | operator== (const AlignmentConstraint &a) const |
void | setContainerSize (unsigned size) |
void | updateConstraint (unsigned source) |
Protected Attributes | |
unsigned | container_size = 0 |
This class represents the alignment constraint, which implies that field must start at a particular offset within a byte.
|
inlinevirtual |
Implements Constraints::IntegerConstraint.
|
inlinevirtual |
Implements Constraints::IntegerConstraint.