mCRL2
|
Go to the source code of this file.
Variables | |
static const unsigned | initial_credit = 2 |
static 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.
|
static |
Credit for a vertex when it is put on the focus list.
Definition at line 13 of file FocusListLiftingStrategy.cpp.