Package org.sosy_lab.java_smt.example

Class PrettyPrinter

java.lang.Object

org.sosy_lab.java_smt.example.PrettyPrinter

public final class PrettyPrinter
extends Object

This program parses user-given formulas and prints them in a pretty format.

Method Summary

Modifier and Type	Method	Description
static void	main(String... args)

Methods inherited from class java.lang.Object

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

Method Detail

main

public static void main(String... args)
                 throws InvalidConfigurationException,
                        SolverException,
                        InterruptedException,
                        IOException

Throws:

InvalidConfigurationException

SolverException

InterruptedException

IOException