24 bool Verifier::RunDataIntegrityCheck(const Circuit *circuit)  in RunDataIntegrityCheck()
105 bool Verifier::RunStateGatesCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesList,  in RunStateGatesCheck()
114 bool Verifier::RunCFGSoundnessCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesList,  in RunCFGSoundnessCheck()
136 bool Verifier::RunCFGIsDAGCheck(const Circuit *circuit)  in RunCFGIsDAGCheck()
184 bool Verifier::RunCFGReducibilityCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesL…  in RunCFGReducibilityCheck()
213 bool Verifier::RunFixedGatesCheck(const Circuit *circuit, const std::vector<GateRef> &fixedGatesLis…  in RunFixedGatesCheck()
221 bool Verifier::RunFixedGatesRelationsCheck(const Circuit *circuit, const std::vector<GateRef> &fixe…  in RunFixedGatesRelationsCheck()
258 bool Verifier::RunFlowCyclesFind(const Circuit *circuit, std::vector<GateRef> *schedulableGatesList…  in RunFlowCyclesFind()
354 bool Verifier::RunSchedulableGatesCheck(const Circuit *circuit, const std::vector<GateRef> &schedul…  in RunSchedulableGatesCheck()
362 bool Verifier::RunPrologGatesCheck(const Circuit *circuit, const std::vector<GateRef> &schedulableG…  in RunPrologGatesCheck()
377 bool Verifier::RunSchedulingBoundsCheck(const Circuit *circuit,  in RunSchedulingBoundsCheck()
413 void Verifier::FindFixedGates(const Circuit *circuit, const std::vector<GateRef> &bbGatesList,  in FindFixedGates()
426 bool Verifier::RunFlowCyclesFind(const Circuit* circuit)  in RunFlowCyclesFind()
472 bool Verifier::Run(const Circuit *circuit, const std::string& methodName, bool enableLog)  in Run()