QbfExample

java.lang.Object

org.tweetyproject.logics.qbf.examples.QbfExample

public class QbfExample extends Object

Some general examples for quantified boolean formulas and for parsers and writers.

Author:: Anna Gessler

Constructor Summary

Constructors

Constructor

Description

QbfExample()

Default
Method Summary

Modifier and Type

Method

Description

static void

main(String[] args)

Demonstrates the use of the TweetyProject library for working with various types of belief sets and parsers, including propositional logic, QBF (Quantified Boolean Formulas), QDIMACS, and QCir formats.

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

Constructor Details
- QbfExample
  
  public QbfExample()
  
  Default
Method Details
- main
  
  public static void main(String[] args) throws ParserException, IOException
  
  Demonstrates the use of the TweetyProject library for working with various types of belief sets and parsers, including propositional logic, QBF (Quantified Boolean Formulas), QDIMACS, and QCir formats. The method performs the following tasks: 1. Creates a propositional logic belief set and adds formulas to it. 2. Uses the TweetyProject QBF parser to read a belief set from a file. 3. Uses the QDIMACS parser to read and parse QDIMACS-formatted belief sets and outputs. 4. Uses the QDIMACS writer to print a belief set in QDIMACS format. 5. Uses the QCir parser to read QCir-formatted belief sets and print them.
  
  Parameters:
  
  args - Command-line arguments (not used in this example).
  
  Throws:
  
  ParserException - If an error occurs during parsing.
  
  IOException - If an error occurs during file I/O operations.