SolverOverviewTable.SolverInfo (JavaSMT Solver Library)

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
  
  All Methods Instance Methods Concrete Methods
  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 Detail

getName
```
public String getName()
```

getVersion
```
public String getVersion()
```

getTheories
```
public String getTheories()
```

getFeatures
```
public String getFeatures()
```