public final class HlddPropertySmvPrinter extends HlddSmvPrinterBase
Modifier and Type | Field and Description |
---|---|
static Parameter |
CHECK_METHOD
The model checking method command line parameter.
|
static java.lang.String |
ENGINE_ID
The engine ID.
|
OUT_TYPE, SMV_FILE_NAME
DISABLE_BACKENDS, NO_BACKEND
Constructor and Description |
---|
HlddPropertySmvPrinter()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
protected void |
configureVisitor(java.util.Map<EntityType,Entity> inputs,
Arguments args,
HlddVisitor visitor) |
protected HlddVisitor |
getVisitor(java.lang.String fileName) |
start, walkModel
getSmvFileName
addBackend, addInputType, addParameter, deactivateBackends, debugWrite, debugWrite, defines, disableAllBackends, enableAllBackends, equals, getBackends, getId, getInputEntity, getInputTypes, getLogger, getOptionalInputEntity, getOutputType, getParameters, hashCode, isDebugMode, parseCommandLine, setDebugMode, setOutputType, start, toString
public static final java.lang.String ENGINE_ID
public static final Parameter CHECK_METHOD
protected HlddVisitor getVisitor(java.lang.String fileName)
getVisitor
in class HlddSmvPrinterBase
protected void configureVisitor(java.util.Map<EntityType,Entity> inputs, Arguments args, HlddVisitor visitor)
configureVisitor
in class HlddSmvPrinterBase