Package org.sosy_lab.java_smt.utils

Class PrettyPrinter

java.lang.Object

org.sosy_lab.java_smt.utils.PrettyPrinter

public class PrettyPrinter
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	PrettyPrinter.PrinterOption

Constructor Summary

Constructors

Constructor	Description
PrettyPrinter(FormulaManager pFmgr)

Method Summary

Modifier and Type	Method	Description
String	formulaToDot(Formula f, PrettyPrinter.PrinterOption... options)	This method returns a Graphviz/Dot representation of the given formula.
String	formulaToString(Formula f, PrettyPrinter.PrinterOption... options)	This method returns a multi-line String with pretty-formatted and indented subformulas.

Methods inherited from class java.lang.Object

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

Constructor Detail

PrettyPrinter

public PrettyPrinter(FormulaManager pFmgr)

Method Detail

formulaToString

public String formulaToString(Formula f,
                              PrettyPrinter.PrinterOption... options)

This method returns a multi-line String with pretty-formatted and indented subformulas.

The String representation might contain solver-specific symbols that appear during a visitation of the formula. The returned String is intended to be human-readable and should not be used for further processing. The formatting of this string might change with future development and thus is not considered as "stable". If a user wants to apply further processing, we refer to FormulaManager.dumpFormula(org.sosy_lab.java_smt.api.BooleanFormula) that provides machine-readable SMTLIB2.

formulaToDot

public String formulaToDot(Formula f,
                           PrettyPrinter.PrinterOption... options)

This method returns a Graphviz/Dot representation of the given formula.

The graph representation might contain solver-specific symbols that appear during a visitation of the formula. The returned String is intended to be a human-readable graph for Graphviz/Dot and should not be used for further processing. The formatting of this string might change with future development and thus is not considered as "stable". If a user wants to apply further processing, we refer to FormulaManager.dumpFormula(org.sosy_lab.java_smt.api.BooleanFormula) that provides machine-readable SMTLIB2.