SolverOverviewTable.RowBuilder (JavaSMT Solver Library)

java.lang.Object
- org.sosy_lab.java_smt.example.SolverOverviewTable.RowBuilder

Enclosing class:

SolverOverviewTable
```
public static class SolverOverviewTable.RowBuilder
extends Object
```
This class builds the table row-by-row.

Constructor Summary

Constructors
Constructor Description

RowBuilder()
The constructor builds the header of the table.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addSolver(SolverOverviewTable.SolverInfo solverInfo)`	Takes a SolverInfo object and splits it into multiple lines which are added to the row.
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - RowBuilder
```
public RowBuilder()
```
    The constructor builds the header of the table.
- Method Detail
  - addSolver
```
public void addSolver(SolverOverviewTable.SolverInfo solverInfo)
```
    Takes a SolverInfo object and splits it into multiple lines which are added to the row.
    
    Parameters:
    
    solverInfo - the solver with information you want added.
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object