Manta::TimingData::TimingSet Struct Reference

Public Attributes
MuTime	cur
MuTime	total
int	num
bool	updated
std::string	solver

---

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

• /Users/sinithue/devel/manta/buildMaster/doxy/source/timing.h