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)	create a new arc
void	addPlace(int value)	create a new place
void	addTransition()	create a new transition
void	deleteArc(Arc a)	delete an arc
void	deletePlace(Place place)	delete a place an the arcs link to it
void	deleteTransition(Transition transition)	delete a transition
void	fire(Transition transition)	fire the transition selected
java.util.List<Transition>	getListTransition()
java.util.List<Place>	getPlaceList()
static void	main(java.lang.String[] args)
java.lang.String	toString()	string representation of a network

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()

create a new transition

addPlace

public void addPlace(int value)
              throws Place.UndefinedToken

create a new place

Throws:

Place.UndefinedToken

addArc

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

create a new arc

Parameters:

transtion - the transition link to this arc

place - the place link to this arc

the - value of this arc

identifier - the integer that correspond to the type of arc (define as static)

Throws:

Network.UndefinedIdentifier

deleteArc

public void deleteArc(Arc a)

delete an arc

deletePlace

public void deletePlace(Place place)

delete a place an the arcs link to it

deleteTransition

public void deleteTransition(Transition transition)

delete a transition

fire

public void fire(Transition transition)

fire the transition selected

toString

public java.lang.String toString()

string representation of a network

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()