P4C
The P4 Compiler
|
constraints introduced on fieldslices of container sizes after splitting a slice list. More...
#include <phv_slicing_dfs_iterator.h>
Public Types | |
enum class | ConstraintType { EXACT = 0 , MIN = 1 , NONE = 2 } |
Public Member Functions | |
AfterSplitConstraint (const bitvec &sizes) | |
AfterSplitConstraint (ConstraintType t, int v=0) | |
std::optional< AfterSplitConstraint > | intersect (const AfterSplitConstraint &other) const |
int | min () const |
bool | ok (const int n) const |
ConstraintType | type () const |
Public Attributes | |
bitvec | sizes |
Static Public Attributes | |
static const bitvec | all_container_sizes |
constraints introduced on fieldslices of container sizes after splitting a slice list.
|
static |