Package org.tweetyproject.logics.rcl.examples

Class RclExample

java.lang.Object

org.tweetyproject.logics.rcl.examples.RclExample

public class RclExample
extends Object

Example code illustrating the use of working with relational conditionals and using c reasoning.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
RclExample()	Default constructor for creating an instance of RclExample.

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	The main method serves as the entry point for the example application.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RclExample

public RclExample()

Default constructor for creating an instance of RclExample.

Method Details

main

public static void main(String[] args)
                 throws FileNotFoundException,
ParserException,
IOException

The main method serves as the entry point for the example application.

Parameters:

args - Command line arguments. The first argument is the path to the file containing the belief base, and the second argument (optional) is the path to the file containing the queries.

Throws:

FileNotFoundException - if the belief base or query file is not found

ParserException - if there is an error while parsing the belief base or the queries

IOException - if an I/O error occurs while reading the files