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) |