Package org.sosy_lab.java_smt.example

Class SolverOverviewTable

java.lang.Object

org.sosy_lab.java_smt.example.SolverOverviewTable

public class SolverOverviewTable
extends Object

This program takes all installed solvers and checks them for version, theories and features and prints them to StdOut in a nice table.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	SolverOverviewTable.RowBuilder	This class builds the table row-by-row.
static class	SolverOverviewTable.SolverInfo	just a wrapper for some data.

Constructor Summary

Constructors

Constructor	Description
SolverOverviewTable()

Method Summary

Modifier and Type	Method	Description
@Nullable SolverOverviewTable.SolverInfo	getSolverInformation(SolverContextFactory.Solvers solver)	Checks for solver-name, version, theories and features.
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Details

SolverOverviewTable

public SolverOverviewTable()

Method Details

main

public static void main(String[] args)
                 throws SolverException,
InterruptedException

Throws:

SolverException

InterruptedException

getSolverInformation

public @Nullable SolverOverviewTable.SolverInfo getSolverInformation(SolverContextFactory.Solvers solver)
                                                              throws SolverException,
InterruptedException

Checks for solver-name, version, theories and features.

Parameters:

solver - to check for information. Taken from Solvers enum only.

Returns:

Information about the solver you entered or NULL if the solver is not available.

Throws:

SolverException

InterruptedException