P4C
The P4 Compiler
Loading...
Searching...
No Matches
PHV::Slicing::AfterSplitConstraint Struct Reference

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< AfterSplitConstraintintersect (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
 

Detailed Description

constraints introduced on fieldslices of container sizes after splitting a slice list.

Member Data Documentation

◆ all_container_sizes

const bitvec PHV::Slicing::AfterSplitConstraint::all_container_sizes
static
Initial value:
=
bitvec((1 << 8) | (1 << 16) | (1llu << 32))