Constant Field Values

Contents

• ru.ispras.*

ru.ispras.*

ru.ispras.retrascope.Retrascope

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"

ru.ispras.retrascope.engine.cfg.extractor.iface.CfgInterfaceExtractor

Modifier and Type	Constant Field	Value
public static final java.lang.String	ENGINE_ID	"cfg-cfginterface-extractor"

ru.ispras.retrascope.engine.cfg.printer.graphml.CfgGraphMlPrinter

Modifier and Type	Constant Field	Value
public static final java.lang.String	ENGINE_ID	"cfg-graphml-printer"

ru.ispras.retrascope.engine.cfg.transformer.cgaa.CfgCgaaTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	ENGINE_ID	"cfg-cgaa-transformer"

ru.ispras.retrascope.engine.cgaa.printer.graphml.CgaaGraphMlPrinter

Modifier and Type	Constant Field	Value
public static final java.lang.String	ENGINE_ID	"cgaa-graphml-printer"

ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer

Modifier and Type	Constant Field	Value
public static final java.lang.String	ENGINE_ID	"cgaa-efsm-transformer"

ru.ispras.retrascope.engine.conflict.printer.xml.ConflictXmlPrinter

Modifier and Type	Constant Field	Value
public static final java.lang.String	ENGINE_ID	"conflict-xml-printer"

ru.ispras.retrascope.engine.efsm.extractor.conflict.EfsmConflictExtractor

Modifier and Type	Constant Field	Value
public static final java.lang.String	ENGINE_ID	"efsm-conflict-extractor"

ru.ispras.retrascope.engine.efsm.printer.graphml.EfsmGraphMlPrinter

Modifier and Type	Constant Field	Value
public static final java.lang.String	ENGINE_ID	"efsm-graphml-printer"

ru.ispras.retrascope.model.cfg.CfgVariableContainerNode

Modifier and Type	Constant Field	Value
public static final java.lang.String	NEW_VAR_PREFIX	"NEW_VAR_"

ru.ispras.retrascope.parser.verilog.VerilogParser

Modifier and Type	Constant Field	Value
public static final java.lang.String	ENGINE_ID	"verilog-parser"

ru.ispras.retrascope.parser.vhdl.VhdlParser

Modifier and Type	Constant Field	Value
public static final java.lang.String	ENGINE_ID	"vhdl-parser"

ru.ispras.retrascope.result.graphml.GraphMlUtils

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"