Package main

Class Network

java.lang.Object

main.Network

public class Network
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	Network.UndefinedIdentifier

Field Summary

Fields

Modifier and Type	Field	Description
static int	ArcCleaner
static int	ArcEntering
static int	ArcOutering
static int	ArcZero

Constructor Summary

Constructors

Constructor	Description
Network()

Method Summary

Modifier and Type	Method	Description
void	addArc(Transition transition, Place place, int value, int identifier)
void	addPlace(int value)
void	addTransition()
void	deleteArc(Arc a)
void	deletePlace(Place place)
void	deleteTransition(Transition transition)
void	fire(Transition transition)
java.util.List<Transition>	getListTransition()
java.util.List<Place>	getPlaceList()
static void	main(java.lang.String[] args)
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

ArcOutering

public static int ArcOutering

ArcCleaner

public static int ArcCleaner

ArcZero

public static int ArcZero

ArcEntering

public static int ArcEntering

Constructor Detail

Network

public Network()

Method Detail

addTransition

public void addTransition()

addPlace

public void addPlace(int value)
              throws Place.UndefinedToken

Throws:

Place.UndefinedToken

addArc

public void addArc(Transition transition,
                   Place place,
                   int value,
                   int identifier)
            throws Network.UndefinedIdentifier

Throws:

Network.UndefinedIdentifier

deleteArc

public void deleteArc(Arc a)

deletePlace

public void deletePlace(Place place)

deleteTransition

public void deleteTransition(Transition transition)

fire

public void fire(Transition transition)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

main

public static void main(java.lang.String[] args)
                 throws Place.UndefinedToken,
                        Network.UndefinedIdentifier

Throws:

Place.UndefinedToken

Network.UndefinedIdentifier

getPlaceList

public java.util.List<Place> getPlaceList()

getListTransition

public java.util.List<Transition> getListTransition()