Constant Field Values
Contents
it.unive.*
-
it.unive.lisa.LiSAConfiguration Modifier and Type Constant Field Value public static final intDEFAULT_WIDENING_THRESHOLD5
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
DEFAULT_WIDENING_THRESHOLD |
5 |