![]() |
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 |