public class PNMLToolSpecific
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
activity |
static java.lang.String |
DISTRIBUTION_PARAMETERS |
static java.lang.String |
DISTRIBUTION_TYPE |
static java.lang.String |
EXECUTION_POLICY |
static java.lang.String |
INVISIBLE |
static java.lang.String |
PRIORITY |
static java.lang.String |
PROM |
static java.lang.String |
STOCHASTIC_ANNOTATION |
static java.lang.String |
STOCHASTIC_ANNOTATION_VERSION |
static java.lang.String |
TIME_UNIT |
protected java.lang.String |
tool |
static java.lang.String |
TRAINING_DATA |
static java.lang.String |
VALUES_SEPARATOR |
protected java.lang.String |
version |
static java.lang.String |
WEIGHT |
Constructor and Description |
---|
PNMLToolSpecific() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getActivity() |
java.util.Map<java.lang.String,java.lang.String> |
getProperties() |
java.lang.String |
getTool() |
java.lang.String |
getVersion() |
void |
setActivity(java.lang.String activity) |
void |
setProperties(java.util.Map<java.lang.String,java.lang.String> properties) |
void |
setTool(java.lang.String tool) |
void |
setVersion(java.lang.String version) |
public static final java.lang.String STOCHASTIC_ANNOTATION
public static final java.lang.String STOCHASTIC_ANNOTATION_VERSION
public static final java.lang.String PROM
public static final java.lang.String TIME_UNIT
public static final java.lang.String EXECUTION_POLICY
public static final java.lang.String PRIORITY
public static final java.lang.String WEIGHT
public static final java.lang.String INVISIBLE
public static final java.lang.String DISTRIBUTION_TYPE
public static final java.lang.String DISTRIBUTION_PARAMETERS
public static final java.lang.String TRAINING_DATA
public static final java.lang.String VALUES_SEPARATOR
protected java.lang.String tool
protected java.lang.String version
protected java.lang.String activity
public java.lang.String getTool()
public void setTool(java.lang.String tool)
public java.lang.String getVersion()
public void setVersion(java.lang.String version)
public java.lang.String getActivity()
public void setActivity(java.lang.String activity)
public java.util.Map<java.lang.String,java.lang.String> getProperties()
public void setProperties(java.util.Map<java.lang.String,java.lang.String> properties)