Class CReasonerExample
- java.lang.Object
-
- org.tweetyproject.logics.cl.examples.CReasonerExample
-
public class CReasonerExample extends java.lang.Object
Shows how to construct a conditional logic knowledge base programmatically and how to query it using the C-reasoner.
-
-
Constructor Summary
Constructors Constructor Description CReasonerExample()
-
Method Summary
Modifier and Type Method Description static void
main(java.lang.String[] args)
-