Package org.sosy_lab.java_smt.example

Class SolverOverviewTable.RowBuilder

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

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 Details

RowBuilder

public RowBuilder()

The constructor builds the header of the table.

Method Details

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