Lines Matching defs:circuit

31 bool Verifier::RunDataIntegrityCheck(const Circuit *circuit)  in RunDataIntegrityCheck()
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()
142 bool Verifier::RunCFGIsDAGCheck(const Circuit *circuit)  in RunCFGIsDAGCheck()
190 bool Verifier::RunCFGReducibilityCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesL…  in RunCFGReducibilityCheck()
219 bool Verifier::RunFixedGatesCheck(const Circuit *circuit, const std::vector<GateRef> &fixedGatesLis…  in RunFixedGatesCheck()
227 bool Verifier::RunFixedGatesRelationsCheck(const Circuit *circuit, const std::vector<GateRef> &fixe…  in RunFixedGatesRelationsCheck()
263 bool Verifier::RunFlowCyclesFind(const Circuit *circuit, std::vector<GateRef> *schedulableGatesList…  in RunFlowCyclesFind()
359 bool Verifier::RunSchedulableGatesCheck(const Circuit *circuit, const std::vector<GateRef> &schedul…  in RunSchedulableGatesCheck()
367 bool Verifier::RunPrologGatesCheck(const Circuit *circuit, const std::vector<GateRef> &schedulableG…  in RunPrologGatesCheck()
382 bool Verifier::RunSchedulingBoundsCheck(const Circuit *circuit,  in RunSchedulingBoundsCheck()
418 void Verifier::FindFixedGates(const Circuit *circuit, const std::vector<GateRef> &bbGatesList,  in FindFixedGates()
431 bool Verifier::Run(const Circuit *circuit, const std::string& methodName, bool enableLog)  in Run()