public class TestBool extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
(package private) BoolPred |
x |
(package private) BoolPred |
y |
(package private) BoolPred |
z |
| Constructor and Description |
|---|
TestBool() |
| Modifier and Type | Method and Description |
|---|---|
static void |
main(java.lang.String[] args) |
void |
run() |
(package private) void |
runtest(java.lang.String s,
BoolPred p,
boolean expectedValue) |