Searched defs:bbGatesList (Results 1 – 2 of 2) sorted by relevance
108 bool Verifier::RunStateGatesCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesList) in RunStateGatesCheck()116 bool Verifier::RunCFGSoundnessCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesList, in RunCFGSoundnessCheck()187 … Verifier::RunCFGReducibilityCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesList, in RunCFGReducibilityCheck()261 const std::vector<GateRef> &bbGatesList, const std::vector<GateRef> &fixedGatesList) in RunFlowCyclesFind()414 void Verifier::FindFixedGates(const Circuit *circuit, const std::vector<GateRef> &bbGatesList, in FindFixedGates()434 std::vector<GateRef> bbGatesList; in Run() local
24 std::vector<GateRef>& bbGatesList, in CalculateDominatorTree()128 std::vector<GateRef> bbGatesList; in Run() local450 std::vector<GateRef> bbGatesList; in Print() local