Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
FORMAT |
"[options] files" |
public static final java.lang.String |
SOLVER_PROPERTY |
"smt.solver.path" |
public static final java.lang.String |
SOLVER_VARIABLE |
"SMT_SOLVER_PATH" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ALIGN_CENTER |
"center" |
public static final java.lang.String |
ALIGN_LEFT |
"left" |
public static final java.lang.String |
ALIGN_RIGHT |
"right" |
public static final java.lang.String |
COLOR_BLUE |
"#0000ff" |
public static final java.lang.String |
COLOR_GRAY |
"#c0c0c0" |
public static final java.lang.String |
COLOR_GREEN |
"#008000" |
public static final java.lang.String |
COLOR_LIGHT_GRAY |
"#cccccc" |
public static final java.lang.String |
COLOR_ORANGE |
"#ff8400" |
public static final java.lang.String |
COLOR_PURPLE |
"#ccccff" |
public static final java.lang.String |
COLOR_RED |
"#ff0000" |
public static final java.lang.String |
COLOR_WHITE |
"#ffffff" |
public static final java.lang.String |
COLOR_YELLOW |
"#ffcc00" |
public static final java.lang.String |
FONT_BOLD |
"bold" |
public static final java.lang.String |
FONT_BOLDITALIC |
"bolditalic" |
public static final java.lang.String |
FONT_ITALIC |
"italic" |
public static final java.lang.String |
FONT_PLAIN |
"plain" |
public static final java.lang.String |
FORM_DIAMOND |
"diamond" |
public static final java.lang.String |
FORM_ELLIPSE |
"ellipse" |
public static final java.lang.String |
FORM_OCTAGON |
"octagon" |
public static final java.lang.String |
FORM_PARALLELOGRAM |
"parallelogram" |
public static final java.lang.String |
FORM_RECTANGLE |
"rectangle" |
public static final java.lang.String |
FORM_TRAPEZOID |
"trapezoid" |
public static final java.lang.String |
FORM_TRAPEZOID2 |
"trapezoid2" |
public static final java.lang.String |
FORM_TRIANGLE |
"triangle" |
public static final java.lang.String |
STYLE_DASH |
"dashed" |
public static final java.lang.String |
STYLE_LINE |
"line" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"cfg-cfginterface-extractor" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"cfg-random-test-generator" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"cfg-graphml-printer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"cfg-dep-graphml-printer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"cfg-cgaa-transformer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"cgaa-graphml-printer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"cgaa-efsm-transformer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"cgaa-hldd-transformer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"efsm-transition-assertion-extractor" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"efsm-test-generator" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"efsm-graphml-printer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"efsm-simulator" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"hldd-smv-printer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ASSIGNMENT_DECLARATION |
"ASSIGN" |
public static final java.lang.String |
CTL_SPEC_DECLARATION |
"CTLSPEC" |
public static final java.lang.String |
DEFINE_DECLARATION |
"DEFINE" |
public static final java.lang.String |
INPUT_VARIABLE_DECLARATION |
"IVAR" |
public static final int |
INTEGER_SIZE |
32 |
public static final java.lang.String |
LTL_SPEC_DECLARATION |
"LTLSPEC" |
public static final java.lang.String |
MODULE_DECLARATION |
"MODULE" |
public static final java.lang.String |
SUB_ENDING |
"_SUBSTITUTED" |
public static final java.lang.String |
VARIABLE_DECLARATION |
"VAR" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"smv-modelchecker-launcher" |
public static final java.lang.String |
NUXMV_LOG_FILE |
"nuxmv_run.log" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"smv-test-parser" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"test-vhdl-testbench-printer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NEW_VAR_PREFIX |
"NEW_VAR_" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NEW_VAR_PREFIX |
"NEW_VAR_" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"verilog-parser" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"vhdl-parser" |