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

String

getName()

void

setId(String id)

void

setName(String 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()
  
  Returns:
  
  the id
- setId
  
  public void setId(String id)
  
  Parameters:
  
  id - the id to set
- getName
  
  public String getName()
  
  Returns:
  
  the name
- setName
  
  public void setName(String name)
  
  Parameters:
  
  name - the name to set