Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
FORMAT |
"[options] files" |
public static final java.lang.String |
SOLVER_PATH_PROPERTY |
"smt.solver.path" |
public static final java.lang.String |
SOLVER_PATH_VARIABLE |
"SMT_SOLVER_PATH" |
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-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 |
"conflict-xml-printer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ENGINE_ID |
"efsm-conflict-extractor" |
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 |
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" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
COLOR_BLUE |
"#0000ff" |
public static final java.lang.String |
COLOR_GREEN |
"#008000" |
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 |
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" |