public class LCMOptions extends Object
Modifier and Type | Field and Description |
---|---|
static int |
safety_medium |
static int |
safety_safe |
static int |
safety_unsafe |
Constructor and Description |
---|
LCMOptions(Map<String,String> options) |
Modifier and Type | Method and Description |
---|---|
boolean |
enabled()
Enabled --
.
|
boolean |
naive_side_effect()
Naive Side Effect Tester --
Use a naive side effect analysis even if interprocedural
information is available.
|
int |
safety()
Safety --
.
|
boolean |
unroll()
Unroll --
.
|
public static final int safety_safe
public static final int safety_medium
public static final int safety_unsafe
public boolean enabled()
public boolean unroll()
public boolean naive_side_effect()
public int safety()