edu.upc.essi.petrinets

Class Transition

java.lang.Object

edu.upc.essi.petrinets.Node

edu.upc.essi.petrinets.Transition

public class Transition
extends Node

Field Summary

Fields inherited from class edu.upc.essi.petrinets.Node

m_id, m_incomingArcs, m_label, m_outgoingArcs

Constructor Summary

Constructors

Constructor and Description
Transition(java.lang.String label)

Method Summary

Modifier and Type	Method and Description
boolean	isTransition()

Methods inherited from class edu.upc.essi.petrinets.Node

addIncomingArc, addOutgoingArc, deleteIncomingArc, deleteOutgoingArc, getID, getIncomingArcs, getLabel, getOutgoingArcs, isPlace

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Transition

public Transition(java.lang.String label)

Method Detail

isTransition

public boolean isTransition()

Overrides:

isTransition in class Node