---

RefLit Class Reference

Inheritance diagram for RefLit:[legend]Collaboration diagram for RefLit:[legend]List of all members.

Public Methods
	RefLit (StateVar collection, int index)
void	apply (Switch sw)
StateVar	getCollection ()
int	getIndex ()
Type	getTargetType ()
Type	getType ()
String	toString ()
Private Attributes
StateVar	collection
int	index
Ref	type

---

Detailed Description

A (non-null) reference value literal.

Can only appear in a BirState (i.e., not in the source of a transition system).

Definition at line 44 of file RefLit.java.

---

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

• RefLit.java

---