P4C
The P4 Compiler
Loading...
Searching...
No Matches
Constraints::BooleanConstraint Class Referenceabstract

#include <constraints.h>

Inheritance diagram for Constraints::BooleanConstraint:
[legend]

Public Member Functions

virtual void addConstraint (uint32_t reason)=0
 
virtual bool hasConstraint () const =0
 

Protected Attributes

unsigned reason = 0
 

Detailed Description

Class that captures whether a constraint is present on a field or not. It also registers the reason for the constraint being added to the field. reason = 0 necessarily implies the absence of the constraint.