---

StateVar Member List

This is the complete list of members for StateVar, including all inherited members.

• actualBaseTypeExtent (defined in StateVar) [private]
• actualBaseTypeSize (defined in StateVar) [private]
• actualSize (defined in StateVar) [private]
• ANY (defined in BirConstants) [static]
• apply(Switch sw) (defined in StateVar) [inline]
• ARRAY (defined in BirConstants) [static]
• BOOL (defined in BirConstants) [static]
• COLLECTION (defined in BirConstants) [static]
• constant (defined in StateVar) [private]
• ENUMERATED (defined in BirConstants) [static]
• EXIT (defined in BirConstants) [static]
• Expr() (defined in Expr) [inline]
• Expr(Expr e) (defined in Expr) [inline]
• FIELD (defined in BirConstants) [static]
• getActualBaseTypeExtent() (defined in StateVar) [inline]
• getActualBaseTypeSize() (defined in StateVar) [inline]
• getActualSize() (defined in StateVar) [inline]
• getInitVal() (defined in StateVar) [inline]
• getName() (defined in StateVar) [inline]
• getOffset() (defined in StateVar) [inline]
• getSystem() (defined in StateVar) [inline]
• getThread() (defined in StateVar) [inline]
• getType() (defined in StateVar) [inline]
• getUseBoxes() (defined in Value) [pure virtual]
• HAS_LOCK (defined in BirConstants) [static]
• id (defined in StateVar) [private]
• initVal (defined in StateVar) [private]
• INVALID (defined in BirConstants) [static]
• isConstant() (defined in StateVar) [inline]
• isLocal() (defined in StateVar) [inline]
• JOIN (defined in BirConstants) [static]
• LOCK (defined in BirConstants) [static]
• LOCK_AVAILABLE (defined in BirConstants) [static]
• LOCKTYPE (defined in BirConstants) [static]
• name (defined in StateVar) [private]
• NOTIFY (defined in BirConstants) [static]
• NOTIFYALL (defined in BirConstants) [static]
• offset (defined in StateVar) [private]
• parse(String e) (defined in Expr) [inline]
• print() (defined in StateVar) [inline]
• RANGE (defined in BirConstants) [static]
• RECORD (defined in BirConstants) [static]
• REF (defined in BirConstants) [static]
• setActualBaseTypeExtent(int actualBaseTypeExtent) (defined in StateVar) [inline]
• setActualBaseTypeSize(int actualBaseTypeSize) (defined in StateVar) [inline]
• setActualSize(int actualSize) (defined in StateVar) [inline]
• setConstant(boolean constant) (defined in StateVar) [inline]
• setInitVal(Expr val) (defined in StateVar) [inline]
• setOffset(int offset) (defined in StateVar) [inline]
• setThread(BirThread thread) (defined in StateVar) [inline]
• START (defined in BirConstants) [static]
• StateVar(String name, BirThread thread, Type type, Expr initVal, TransSystem system) [inline]
• system (defined in StateVar) [private]
• thread (defined in StateVar) [private]
• THREAD_TERMINATED (defined in BirConstants) [static]
• toBriefString() (defined in ToBriefString) [pure virtual]
• toString() (defined in StateVar) [inline]
• type (defined in StateVar) [private]
• UNLOCK (defined in BirConstants) [static]
• UNWAIT (defined in BirConstants) [static]
• varCount (defined in StateVar) [private, static]
• WAIT (defined in BirConstants) [static]
• WAS_NOTIFIED (defined in BirConstants) [static]

---