31 bool Verifier::RunDataIntegrityCheck(const Circuit *circuit)  in RunDataIntegrityCheck()
112 bool Verifier::RunStateGatesCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesList,  in RunStateGatesCheck()
121 bool Verifier::RunCFGSoundnessCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesList,  in RunCFGSoundnessCheck()
143 bool Verifier::RunCFGIsDAGCheck(const Circuit *circuit)  in RunCFGIsDAGCheck()
191 bool Verifier::RunCFGReducibilityCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesL…  in RunCFGReducibilityCheck()
220 bool Verifier::RunFixedGatesCheck(const Circuit *circuit, const std::vector<GateRef> &fixedGatesLis…  in RunFixedGatesCheck()
228 bool Verifier::RunFixedGatesRelationsCheck(const Circuit *circuit, const std::vector<GateRef> &fixe…  in RunFixedGatesRelationsCheck()
265 bool Verifier::RunFlowCyclesFind(const Circuit *circuit, std::vector<GateRef> *schedulableGatesList…  in RunFlowCyclesFind()
361 bool Verifier::RunSchedulableGatesCheck(const Circuit *circuit, const std::vector<GateRef> &schedul…  in RunSchedulableGatesCheck()
369 bool Verifier::RunPrologGatesCheck(const Circuit *circuit, const std::vector<GateRef> &schedulableG…  in RunPrologGatesCheck()
384 bool Verifier::RunSchedulingBoundsCheck(const Circuit *circuit,  in RunSchedulingBoundsCheck()
420 void Verifier::FindFixedGates(const Circuit *circuit, const std::vector<GateRef> &bbGatesList,  in FindFixedGates()
433 bool Verifier::RunFlowCyclesFind(const Circuit* circuit)  in RunFlowCyclesFind()
479 bool Verifier::Run(const Circuit *circuit, const std::string& methodName, bool enableLog)  in Run()