public final class SmvModelCheckerLauncher extends Engine
Modifier and Type | Field and Description |
---|---|
static Parameter |
CHECK_METHOD |
static java.lang.String |
ENGINE_ID
The engine ID.
|
static java.lang.String |
NUXMV_LOG_FILE
NuXMV log file name.
|
static EntityType |
OUT_TYPE
The engine output entity type.
|
Constructor and Description |
---|
SmvModelCheckerLauncher()
Constructs a new engine object.
|
Modifier and Type | Method and Description |
---|---|
Entity |
start(java.util.Map<EntityType,Entity> inputs)
Processes entities of the input types and produces an entity of the output type.
|
addBackend, addInputType, addParameter, defines, equals, getId, getInputTypes, getLogger, getMandatoryInputEntity, getOptionalInputEntity, getOutputType, getParameters, hasBackEnds, hashCode, parseCommandLine, runBackEnds, setOutputType, setProgress, start, toString, uses
public static final java.lang.String ENGINE_ID
public static final EntityType OUT_TYPE
public static final java.lang.String NUXMV_LOG_FILE
public static final Parameter CHECK_METHOD
public SmvModelCheckerLauncher()
public Entity start(java.util.Map<EntityType,Entity> inputs)
Engine