Package org.tweetyproject.logics.petri.syntax

Class PetriNetNode

java.lang.Object

org.tweetyproject.logics.petri.syntax.PetriNetNode

All Implemented Interfaces:

Node

Direct Known Subclasses:

Place, Transition

public abstract class PetriNetNode
extends Object
implements Node

An abstract class for the two types of nodes in a Petri net, places and transitions

Author:

Benedikt Knopp

Constructor Summary

Constructors

Constructor	Description
PetriNetNode(String id)	Create a new instance
PetriNetNode(String id, String name)	Create a new instance

Method Summary

Modifier and Type	Method	Description
String	getId()	Teturn the id
String	getName()	Return the name
void	setId(String id)	Setter id
void	setName(String name)	Setter name

Methods inherited from class java.lang.Object

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

Constructor Details

PetriNetNode

public PetriNetNode(String id)

Create a new instance

Parameters:

id - a unique identifier

PetriNetNode

public PetriNetNode(String id,
 String name)

Create a new instance

Parameters:

id - a unique identifier

name - a pretty name

Method Details

getId

public String getId()

Teturn the id

Returns:

the id

setId

public void setId(String id)

Setter id

Parameters:

id - the id to set

getName

public String getName()

Return the name

Returns:

the name

setName

public void setName(String name)

Setter name

Parameters:

name - the name to set