mCRL2
Loading...
Searching...
No Matches
MaxMeasureLiftingStrategy.cpp File Reference

Go to the source code of this file.

Functions

static int cmp_ids (uint64_t x, uint64_t y)
 
static int cmp_step (const verti *v1, const verti *v2, int v_len, bool v_carry, const verti *w1, const verti *w2, int w_len, bool w_carry)
 

Function Documentation

◆ cmp_ids()

static int cmp_ids ( uint64_t  x,
uint64_t  y 
)
static

Definition at line 168 of file MaxMeasureLiftingStrategy.cpp.

◆ cmp_step()

static int cmp_step ( const verti v1,
const verti v2,
int  v_len,
bool  v_carry,
const verti w1,
const verti w2,
int  w_len,
bool  w_carry 
)
static

Definition at line 181 of file MaxMeasureLiftingStrategy.cpp.