Package net.sf.tweety.logics.qbf.writer

Class QdimacsWriter

  • public class QdimacsWriter
extends Object
    Converts belief bases to QDIMACS format and prints them.

    Notes:
    - Currently only works for belief bases that have only quantifiers in the left portion of each formula and have only unquantified formulas in the right portion of each formula.
    - The right portion of the formulas does not need to be in any special form (it will be converted to cnf).
    Author:
    Anna Gessler

    • Field Detail

      • DISABLE_PREAMBLE_ZERO

        public boolean DISABLE_PREAMBLE_ZERO
        Removes zero at the end of the problem line (workaround for some solvers).

    • Constructor Detail

      • QdimacsWriter

        public QdimacsWriter​(Writer writer)
        Creates a new QDIMACS writer.
        Parameters:
        writer -

      • QdimacsWriter

        public QdimacsWriter()
        Creates a new QDIMACS writer.

    • Method Detail

      • printVariables

        public String printVariables​(Set<net.sf.tweety.logics.pl.syntax.Proposition> vars,
                             Map<net.sf.tweety.logics.pl.syntax.Proposition,​Integer> mappings)