Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
FORMAT |
"files [options]" |
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_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 |
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-c-printer" |
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-gadd-transformer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"clock_detector" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DBG_PREFIX |
"engine=cfg-gadd-transformer" |
public static final java.lang.String |
NAME |
"path_counter" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"efsm-transition-property-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-fate-plus-test-generator" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"efsm-fate-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 |
"gadd-property-extractor" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"gadd-graphml-printer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"gadd-efsm-transformer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"gadd-hldd-transformer" |
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 |
ENGINE_ID |
"hldd-property-smv-printer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"hldd-spec-smv-printer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"hldd-usedef-smv-printer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
SUB_ENDING |
"_SUBSTITUTED" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
DEFAULT_BOUND |
1 |
public static final java.lang.String |
ENGINE_ID |
"smv-modelchecker-launcher" |
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-verilog-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 |
STATE_NOT_FOUND |
"The specified state is not found in this EFSM: " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"assert" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"block_seq" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"empty_case" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"events_to_node" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"init_process" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"loop" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"one_block_process" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"ranged_switch" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"statistic" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"switch_seq" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"var_range_block" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"wait" |
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" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
SMVLOG |
".smvlog" |