Package org.sosy_lab.java_smt.example

Class SolverOverviewTable.SolverInfo

java.lang.Object

org.sosy_lab.java_smt.example.SolverOverviewTable.SolverInfo

Enclosing class:

SolverOverviewTable

public static class SolverOverviewTable.SolverInfo
extends Object

just a wrapper for some data.

Method Summary

Modifier and Type	Method	Description
String	getFeatures()
String	getName()
String	getTheories()
String	getVersion()

Methods inherited from class java.lang.Object

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

Method Details

getName

public String getName()

getVersion

public String getVersion()

getTheories

public String getTheories()

getFeatures

public String getFeatures()