public class HlddSmvPrinter extends HlddSmvPrinterBase
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENGINE_ID
The engine ID.
|
OUT_TYPE, SMV_FILE_NAME
DISABLE_BACKENDS, NO_BACKEND
Constructor and Description |
---|
HlddSmvPrinter()
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
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