ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
rrr::Optimizer< Ntk, Ana >::Stats Member List

This is the complete list of members for rrr::Optimizer< Ntk, Ana >::Stats, including all inherited members.

AssignNetwork(Ntk *pNtk_, bool fReuse=false)rrr::Optimizer< Ntk, Ana >::Stats
durationAddrrr::Optimizer< Ntk, Ana >::Stats
durationReducerrr::Optimizer< Ntk, Ana >::Stats
GetStatsSummary() constrrr::Optimizer< Ntk, Ana >::Stats
GetString() constrrr::Optimizer< Ntk, Ana >::Statsinline
GetTimesSummary() constrrr::Optimizer< Ntk, Ana >::Stats
nAddedrrr::Optimizer< Ntk, Ana >::Stats
nAddedFisrrr::Optimizer< Ntk, Ana >::Stats
nChangedrrr::Optimizer< Ntk, Ana >::Stats
nDownsrrr::Optimizer< Ntk, Ana >::Stats
nEqsrrr::Optimizer< Ntk, Ana >::Stats
nTriedrrr::Optimizer< Ntk, Ana >::Stats
nTriedFisrrr::Optimizer< Ntk, Ana >::Stats
nUpsrrr::Optimizer< Ntk, Ana >::Stats
operator+=(Stats const &other)rrr::Optimizer< Ntk, Ana >::Statsinline
Optimizer(Parameter const *pPar, std::function< double(Ntk *)> CostFunction)rrr::Optimizer< Ntk, Ana >::Stats
Reset()rrr::Optimizer< Ntk, Ana >::Statsinline
ResetSummary()rrr::Optimizer< Ntk, Ana >::Stats
Run(int iSeed=0, seconds nTimeout_=0)rrr::Optimizer< Ntk, Ana >::Stats
SetPrintLine(std::function< void(std::string)> const &PrintLine_)rrr::Optimizer< Ntk, Ana >::Stats