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_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-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-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 |
"hldd-smv-printer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"hldd-assert-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 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" |
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 |
CONVERSION_FUNCTION |
"%CONVERSION_FUNCTION%" |
public static final java.lang.String |
LOWER_BOUND |
"%LOWER_BOUND%" |
public static final java.lang.String |
PORT_KIND |
"%PORT_KIND%" |
public static final java.lang.String |
PORT_MAP_DECLARATION |
"%PORT_MAP_DECLARATION%" |
public static final java.lang.String |
PORT_NAME |
"%PORT_NAME%" |
public static final java.lang.String |
PORT_TYPE |
"%PORT_TYPE%" |
public static final java.lang.String |
SIGNAL_NAME |
"%SIGNAL_NAME%" |
public static final java.lang.String |
SIGNAL_TYPE |
"%SIGNAL_TYPE%" |
public static final java.lang.String |
TAB |
"%TABULATION%" |
public static final java.lang.String |
UPPER_BOUND |
"%UPPER_BOUND%" |
public static final java.lang.String |
VECTOR_FMT |
"%VECTOR_FORMAT%" |
public static final java.lang.String |
VECTOR_SIGNALS |
"%VECTOR_SIGNALS%" |
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 |
ENGINE_ID |
"vhdl-parser" |