public static final java.lang.String |
HELPAPNDEF |
"Applies the block layout to this accepting Petri net. This layout replaces the JGraph layout, and is not used by GraphViz/Dot. Uses default parameters for the block layout." |
public static final java.lang.String |
HELPAPNUSER |
"Applies the block layout to this accepting Petri net. This layout replaces the JGraph layout, and is not used by GraphViz/Dot. Allows the user to select the parameters to be used for the block layout." |
public static final java.lang.String |
HELPBPMNDEF |
"Applies the block layout to this BPMN diagram. This layout replaces the JGraph layout, and is not used by GraphViz/Dot. Uses default parameters for the block layout." |
public static final java.lang.String |
HELPBPMNUSER |
"Applies the block layout to this BPMN diagram. This layout replaces the JGraph layout, and is not used by GraphViz/Dot. Allows the user to select the parameters to be used for the block layout." |
public static final java.lang.String |
HELPPNDEF |
"Applies the block layout to this Petri net. This layout replaces the JGraph layout, and is not used by GraphViz/Dot. Uses default parameters for the block layout." |
public static final java.lang.String |
HELPPNUSER |
"Applies the block layout to this Petri net. This layout replaces the JGraph layout, and is not used by GraphViz/Dot. Allows the user to select the parameters to be used for the block layout." |
public static final java.lang.String |
HELPTSDEF |
"Applies the block layout to this transition system. This layout replaces the JGraph layout, and is not used by GraphViz/Dot. Uses default parameters for the block layout." |
public static final java.lang.String |
HELPTSUSER |
"Applies the block layout to this transition system. This layout replaces the JGraph layout, and is not used by GraphViz/Dot. Allows the user to select the parameters to be used for the block layout." |