public class TestConditionalStructure
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
private static Proposition |
a |
private static Proposition |
b |
| Constructor and Description |
|---|
TestConditionalStructure() |
| Modifier and Type | Method and Description |
|---|---|
void |
addConditionalConditionalGenerators() |
void |
addConditionalSignature() |
void |
addConditionalWorldGenerators() |
private static Proposition a
private static Proposition b