pnml.loader
Class PetriNetParserContinuous

java.lang.Object
  extended by pnml.loader.AbstractPetriNetParser
      extended by pnml.loader.PetriNetParserContinuous

public class PetriNetParserContinuous
extends AbstractPetriNetParser


Constructor Summary
PetriNetParserContinuous()
           
 
Method Summary
 void createArc(org.w3c.dom.Element element)
           
 void createPlace(org.w3c.dom.Element element)
           
 void createTransition(org.w3c.dom.Element element)
           
 
Methods inherited from class pnml.loader.AbstractPetriNetParser
createGraph, createNodeAttr, getID
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PetriNetParserContinuous

public PetriNetParserContinuous()
Method Detail

createPlace

public void createPlace(org.w3c.dom.Element element)
Specified by:
createPlace in class AbstractPetriNetParser

createTransition

public void createTransition(org.w3c.dom.Element element)
Specified by:
createTransition in class AbstractPetriNetParser

createArc

public void createArc(org.w3c.dom.Element element)
Specified by:
createArc in class AbstractPetriNetParser