Searched defs:bbGatesList (Results 1 – 2 of 2) sorted by relevance
112 bool Verifier::RunStateGatesCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesList) in RunStateGatesCheck()120 bool Verifier::RunCFGSoundnessCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesList, in RunCFGSoundnessCheck()190 … Verifier::RunCFGReducibilityCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesList, in RunCFGReducibilityCheck()264 const std::vector<GateRef> &bbGatesList, const std::vector<GateRef> &fixedGatesList) in RunFlowCyclesFind()418 void Verifier::FindFixedGates(const Circuit *circuit, const std::vector<GateRef> &bbGatesList, in FindFixedGates()485 std::vector<GateRef> bbGatesList; in Run() local
24 std::vector<GateRef>& bbGatesList, in CalculateDominatorTree()123 std::vector<GateRef> bbGatesList; in Run() local456 std::vector<GateRef> bbGatesList; in Print() local