P4C
The P4 Compiler
Loading...
Searching...
No Matches
Constraints::ContainerSizeConstraint Class Reference
Inheritance diagram for Constraints::ContainerSizeConstraint:
[legend]

Public Types

enum  ContainerSizeReason { NONE = 0 , PRAGMA = 1 }
 

Public Member Functions

void addConstraint (unsigned source, unsigned v)
 
unsigned getContainerSize () const
 
bool hasConstraint () const
 

Member Function Documentation

◆ addConstraint()

void Constraints::ContainerSizeConstraint::addConstraint ( unsigned source,
unsigned v )
inlinevirtual

◆ hasConstraint()

bool Constraints::ContainerSizeConstraint::hasConstraint ( ) const
inlinevirtual