Package net.sf.tweety.logics.cl.test
Class TestConditionalStructure
- java.lang.Object
-
- net.sf.tweety.logics.cl.test.TestConditionalStructure
-
public class TestConditionalStructure extends java.lang.Object
- Author:
- Tim Janus
-
-
Field Summary
Fields Modifier and Type Field Description private static Proposition
a
private static Proposition
b
-
Constructor Summary
Constructors Constructor Description TestConditionalStructure()
-
Method Summary
Modifier and Type Method Description void
addConditionalConditionalGenerators()
void
addConditionalSignature()
void
addConditionalWorldGenerators()
-
-
-
Field Detail
-
a
private static Proposition a
-
b
private static Proposition b
-
-