---

BirThread Class Reference

List of all members.

Public Methods
	BirThread (TransSystem sys, String name, int id)
int	getId ()
LocVector	getLocations ()
String	getName ()
Location	getStartLoc ()
TransSystem	getSystem ()
boolean	isMain ()
void	setLocations (LocVector v)
void	setMain (boolean isMain)
void	setStartLoc (Location loc)
String	toString ()
Private Attributes
TransSystem	system
String	name
Location	startLoc
int	id
LocVector	threadLocVector
boolean	main = false

---

Detailed Description

A BIR Thread, which represents a piece of active state.

Each BIR thread has:

• A name
• An integer id
• A flag indicating whether it is the main thread (the main thread is enabled in the initial state, other threads must be started)
• A set of locations, including a start location

Definition at line 52 of file BirThread.java.

---

The documentation for this class was generated from the following file:

• BirThread.java

---