---

ImpA Class Reference

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

Public Methods
int	foo (int x)
Private Attributes
int	x

---

Detailed Description

@observable EXP XEq0or1(this): x == 0 || x == 1;

Definition at line 53 of file regtest/bsl/Unit/Unit.java.

---

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

• regtest/bsl/Unit/Unit.java

---