|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
vanted.attribute.* |
---|
vanted.attribute.ArcWeightAttribute | ||
---|---|---|
public static final java.lang.String |
colorAttributeName |
"arcweightcolor" |
public static final java.lang.String |
name |
"ArcWeight" |
public static final java.lang.String |
path |
"petrinet" |
public static final java.lang.String |
positionAttributeName |
"arcweightposition" |
public static final java.lang.String |
positionAttributeNameEdge |
"arcweightedgepos" |
public static final java.lang.String |
sizeAttributeName |
"arcweightsize" |
vanted.attribute.CapacityAttribute | ||
---|---|---|
public static final java.lang.String |
colorAttributeName |
"capacitycolor" |
public static final java.lang.String |
name |
"place_capacity" |
public static final java.lang.String |
path |
"petrinet" |
public static final java.lang.String |
positionAttributeName |
"capacityposition" |
public static final java.lang.String |
sizeAttributeName |
"capacitysize" |
vanted.attribute.DrawAttributeComponent | ||
---|---|---|
public static final int |
edgeNumber |
-3 |
public static final int |
nodeNumber |
-2 |
vanted.attribute.DrawingEdgeAttribute | ||
---|---|---|
public static final java.lang.String |
name |
"DrawingEdge" |
public static final java.lang.String |
path |
"petrinet" |
public static final java.lang.String |
positionAttributeName |
"drawposition" |
vanted.attribute.DrawingNodeAttribute | ||
---|---|---|
public static final java.lang.String |
name |
"DrawingNode" |
public static final java.lang.String |
path |
"petrinet" |
public static final java.lang.String |
positionAttributeName |
"drawposition" |
vanted.attribute.HideArcWeightAttribute | ||
---|---|---|
public static final java.lang.String |
name |
"HideArcWeight" |
public static final java.lang.String |
path |
"petrinet" |
vanted.attribute.HideCapacityAttribute | ||
---|---|---|
public static final java.lang.String |
name |
"HideCapacity" |
public static final java.lang.String |
path |
"petrinet" |
vanted.attribute.HideLabelAttribute | ||
---|---|---|
public static final java.lang.String |
name |
"HideLabel" |
public static final java.lang.String |
path |
"petrinet" |
vanted.attribute.HideTokenAttribute | ||
---|---|---|
public static final java.lang.String |
name |
"HideToken" |
public static final java.lang.String |
path |
"petrinet" |
vanted.attribute.IdentityAttribute | ||
---|---|---|
public static final java.lang.String |
name |
"Identity" |
public static final java.lang.String |
path |
"petrinet" |
vanted.attribute.IgnoreNodeAttribute | ||
---|---|---|
public static final java.lang.String |
name |
"IgnoreNode" |
public static final java.lang.String |
path |
"petrinet" |
vanted.attribute.ReachabilityAttribute | ||
---|---|---|
public static final java.lang.String |
name |
"reachability_Token" |
public static final java.lang.String |
path |
"petrinet" |
public static final java.lang.String |
seperator |
"@" |
vanted.attribute.cpn.expression.ExpressionAttribute | ||
---|---|---|
public static final java.lang.String |
name |
"expressionArc" |
public static final java.lang.String |
path |
"petrinet" |
public static final java.lang.String |
seperator |
"@" |
vanted.attribute.cpn.guard.GuardArcAttribute | ||
---|---|---|
public static final java.lang.String |
name |
"guardArc" |
public static final java.lang.String |
path |
"petrinet" |
public static final java.lang.String |
seperator |
"@" |
vanted.attribute.cpn.guard.GuardAttribute | ||
---|---|---|
public static final java.lang.String |
name |
"guardTransition" |
public static final java.lang.String |
path |
"petrinet" |
public static final java.lang.String |
seperator |
"@" |
vanted.attribute.token.AbstractTokenAttribute | ||
---|---|---|
public static final java.lang.String |
path |
"petrinet" |
public static final java.lang.String |
seperator |
"@" |
vanted.attribute.token.TokenAttributeContinuous | ||
---|---|---|
public static final java.lang.String |
colorAttributeName |
"tokendoublecolor" |
public static final java.lang.String |
decimal |
"#.######" |
public static final java.lang.String |
name |
"continuous_Token" |
public static final java.lang.String |
positionAttributeName |
"tokendoubleposition" |
public static final java.lang.String |
sizeAttributeName |
"tokendoublesize" |
vanted.attribute.token.TokenAttributeDiscrete | ||
---|---|---|
public static final java.lang.String |
colorAttributeName |
"tokenintcolor" |
public static final java.lang.String |
name |
"discrete_Token" |
public static final java.lang.String |
positionAttributeName |
"tokenintposition" |
public static final java.lang.String |
sizeAttributeName |
"tokenintsize" |
vanted.gui.* |
---|
vanted.gui.AnalysisGUI | ||
---|---|---|
public static final java.lang.String |
seperator |
"@@" |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |