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

Go to the source code of this file.

Variables

static const unsigned initial_credit = 2
 
static const unsigned credit_increase = 2
 

Variable Documentation

◆ credit_increase

const unsigned credit_increase = 2
static

Credit increase when a vertex on the focus list is successfully lifted.

Definition at line 16 of file FocusListLiftingStrategy.cpp.

◆ initial_credit

const unsigned initial_credit = 2
static

Credit for a vertex when it is put on the focus list.

Definition at line 13 of file FocusListLiftingStrategy.cpp.