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