rrr::Analyzer< Ntk, Sim, Sol > Class Template Reference

#include <rrrAnalyzer.h>

Public Member Functions
	Analyzer (Parameter const *pPar)
void	AssignNetwork (Ntk *pNtk_, bool fReuse)
bool	CheckRedundancy (int id, int idx)
bool	CheckFeasibility (int id, int fi, bool c)
void	ResetSummary ()
summary< int >	GetStatsSummary () const
summary< double >	GetTimesSummary () const

Detailed Description

template<typename Ntk, typename Sim, typename Sol>
class rrr::Analyzer< Ntk, Sim, Sol >

Definition at line 11 of file rrrAnalyzer.h.

Constructor & Destructor Documentation

Analyzer()

template<typename Ntk, typename Sim, typename Sol>

rrr::Analyzer< Ntk, Sim, Sol >::Analyzer

(

Parameter const *

pPar

)

Definition at line 41 of file rrrAnalyzer.h.

                                                         :
    pNtk(NULL),
    nVerbose(pPar->nAnalyzerVerbose),
    sim(pPar),
    sol(pPar) {
  }

Member Function Documentation

AssignNetwork()

template<typename Ntk, typename Sim, typename Sol>

void rrr::Analyzer< Ntk, Sim, Sol >::AssignNetwork	(	Ntk *	pNtk_,
		bool	fReuse )

Definition at line 49 of file rrrAnalyzer.h.

                                                                     {
    pNtk = pNtk_;
    sim.AssignNetwork(pNtk, fReuse);
    sol.AssignNetwork(pNtk, fReuse);
  }

CheckFeasibility()

template<typename Ntk, typename Sim, typename Sol>

bool rrr::Analyzer< Ntk, Sim, Sol >::CheckFeasibility	(	int	id,
		int	fi,
		bool	c )

Definition at line 87 of file rrrAnalyzer.h.

                                                                       {
    if(sim.CheckFeasibility(id, fi, c)) {
      if(nVerbose) {
        std::cout << "node " << id << " fanin " << (c? "!": "") << fi << " seems feasible" << std::endl;
      }
      SatResult r = sol.CheckFeasibility(id, fi, c);
      if(r == UNSAT) {
        if(nVerbose) {
          std::cout << "node " << id << " fanin " << (c? "!": "") << fi << " is feasible" << std::endl;
        }
        return true;
      }
      if(r == SAT) {
        if(nVerbose) {
          std::cout << "node " << id << " fanin " << (c? "!": "") << fi << " is NOT feasible" << std::endl;
        }
        sim.AddCex(sol.GetCex());
      }
    } else {
      // if(nVerbose) {
      //   std::cout << "node " << id << " fanin " << (c? "!": "") << fi << " is not feasible" << std::endl;
      // }
    }
    return false;
  }

CheckRedundancy()

template<typename Ntk, typename Sim, typename Sol>

bool rrr::Analyzer< Ntk, Sim, Sol >::CheckRedundancy	(	int	id,
		int	idx )

Definition at line 60 of file rrrAnalyzer.h.

                                                               {
    if(sim.CheckRedundancy(id, idx)) {
      if(nVerbose) {
        std::cout << "node " << id << " fanin " << (pNtk->GetCompl(id, idx)? "!": "") << pNtk->GetFanin(id, idx) << " index " << idx << " seems redundant" << std::endl;
      }
      SatResult r = sol.CheckRedundancy(id, idx);
      if(r == UNSAT) {
        if(nVerbose) {
          std::cout << "node " << id << " fanin " << (pNtk->GetCompl(id, idx)? "!": "") << pNtk->GetFanin(id, idx) << " index " << idx << " is redundant" << std::endl;
        }
        return true;
      }
      if(r == SAT) {
        if(nVerbose) {
          std::cout << "node " << id << " fanin " << (pNtk->GetCompl(id, idx)? "!": "") << pNtk->GetFanin(id, idx) << " index " << idx << " is NOT redundant" << std::endl;
        }
        sim.AddCex(sol.GetCex());
      }
    } else {
      // if(nVerbose) {
      //   std::cout << "node " << id << " fanin " << (pNtk->GetCompl(id, idx)? "!": "") << pNtk->GetFanin(id, idx) << " index " << idx << " is not redundant" << std::endl;
      // }
    }
    return false;
  }

GetStatsSummary()

template<typename Ntk, typename Sim, typename Sol>

summary< int > rrr::Analyzer< Ntk, Sim, Sol >::GetStatsSummary

(

)

const

Definition at line 124 of file rrrAnalyzer.h.

                                                              {
    summary<int> v = sim.GetStatsSummary();
    summary<int> v2 = sol.GetStatsSummary();
    v.insert(v.end(), v2.begin(), v2.end());
    return v;
  }

GetTimesSummary()

template<typename Ntk, typename Sim, typename Sol>

summary< double > rrr::Analyzer< Ntk, Sim, Sol >::GetTimesSummary

(

)

const

Definition at line 132 of file rrrAnalyzer.h.

                                                                 {
    summary<double> v = sim.GetTimesSummary();
    summary<double> v2 = sol.GetTimesSummary();
    v.insert(v.end(), v2.begin(), v2.end());
    return v;
  }

ResetSummary()

template<typename Ntk, typename Sim, typename Sol>

void rrr::Analyzer< Ntk, Sim, Sol >::ResetSummary

(

)

Definition at line 118 of file rrrAnalyzer.h.

                                             {
    sim.ResetSummary();
    sol.ResetSummary();
  }

---

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

• src/opt/rrr/rrrAnalyzer.h