Constant Field Values


Contents
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 "@@"