SEdit.Formalisms.Petri
Class PetriInPort

java.lang.Object
  extended by SEdit.SElement
      extended by SEdit.SNode
          extended by SEdit.SimpleNode
              extended by SEdit.Formalisms.Petri.PetriPlace
                  extended by SEdit.Formalisms.Petri.PetriInPort
All Implemented Interfaces:
PetriPlaceBehavior

public class PetriInPort
extends PetriPlace


Field Summary
 
Fields inherited from class SEdit.SimpleNode
inArrows, outArrows
 
Fields inherited from class SEdit.SElement
comment, descriptor, element, id, label, persistent, structure
 
Constructor Summary
PetriInPort()
           
 
Method Summary
 
Methods inherited from class SEdit.Formalisms.Petri.PetriPlace
addColoredToken, addToken, consume, consume, getColoredTokens, getNumberTokens, isEmpty, modifyColoredTokens, produce, produce
 
Methods inherited from class SEdit.SimpleNode
addInArrow, addOutArrow, delete, deleteInArrow, deleteOutArrow, getInArrows, getInArrows, getOutArrows, getOutArrows, isConnectable, toString
 
Methods inherited from class SEdit.SNode
activate, initGraphics, reInstall
 
Methods inherited from class SEdit.SElement
dump, getComment, getDescriptor, getGObject, getID, getLabel, getStructure, init, inspect, setComment, setDescriptor, setGObject, setID, setLabel, setStructure
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PetriInPort

public PetriInPort()


Copyright © Madkit Team (O. Gutknecht, J. Ferber, F. Michel et al.) All Rights Reserved.