Lines Matching defs:circuit

27 bool Verifier::RunDataIntegrityCheck(const Circuit *circuit)  in RunDataIntegrityCheck()
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()
139 bool Verifier::RunCFGIsDAGCheck(const Circuit *circuit)  in RunCFGIsDAGCheck()
187 bool Verifier::RunCFGReducibilityCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesL…  in RunCFGReducibilityCheck()
216 bool Verifier::RunFixedGatesCheck(const Circuit *circuit, const std::vector<GateRef> &fixedGatesLis…  in RunFixedGatesCheck()
224 bool Verifier::RunFixedGatesRelationsCheck(const Circuit *circuit, const std::vector<GateRef> &fixe…  in RunFixedGatesRelationsCheck()
260 bool Verifier::RunFlowCyclesFind(const Circuit *circuit, std::vector<GateRef> *schedulableGatesList…  in RunFlowCyclesFind()
356 bool Verifier::RunSchedulableGatesCheck(const Circuit *circuit, const std::vector<GateRef> &schedul…  in RunSchedulableGatesCheck()
364 bool Verifier::RunPrologGatesCheck(const Circuit *circuit, const std::vector<GateRef> &schedulableG…  in RunPrologGatesCheck()
379 bool Verifier::RunSchedulingBoundsCheck(const Circuit *circuit,  in RunSchedulingBoundsCheck()
414 void Verifier::FindFixedGates(const Circuit *circuit, const std::vector<GateRef> &bbGatesList,  in FindFixedGates()
426 bool Verifier::Run(const Circuit *circuit, const std::string& methodName, bool enableLog)  in Run()