Class 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.