Inheritance diagram for EmptySimulationTable:

Public Member Functions
void	addEntry (const SimulationTableEntry &entry) override

void	clear () override

std::string	buffer () const override

void	write () override
	Write the table to the given file path, using the concrete export format.

The documentation for this class was generated from the following file:

src/tests/src/solver/infeasible-problem-analysis/test-unfeasible-problem-analyzer.cpp

Public Member Functions