CReasonerExample

java.lang.Object

org.tweetyproject.logics.cl.examples.CReasonerExample

public class CReasonerExample extends 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(String[] args)

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- CReasonerExample
  
  public CReasonerExample()
Method Details
- main
  
  public static void main(String[] args)