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