org.sosy_lab.java_smt.example

Class FormulaClassifier

java.lang.Object

org.sosy_lab.java_smt.example.FormulaClassifier

public class FormulaClassifier
extends Object

This program parses user-given formulas and prints out the (minimal) matching theory for them.

Warning: This is a prototype and not intended for larger usage.

Constructor Summary

Constructors

Constructor and Description
FormulaClassifier(SolverContext pContext)

Method Summary

Modifier and Type	Method and Description
static void	main(String... args)
String	toString()
void	visit(BooleanFormula f)

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaClassifier

public FormulaClassifier(SolverContext pContext)

Method Detail

main

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

Throws:

InvalidConfigurationException

SolverException

InterruptedException

IOException

visit

public void visit(BooleanFormula f)

toString

public String toString()

Overrides:

toString in class Object