private int BuildCfgFromAst() { ListOfCfgNodes.Clear(); AstToCfgMapping.Clear(); ASTParentByASTNode.Clear(); LabelToStatement.Clear(); ProcNameToNode.Clear(); m_GlobalVariables.Clear(); m_BddManager.DeleteAll(); m_BddVariableToName.Clear(); m_BddVariableToName.Add(""); ExtractCfgNodes(BoolProgramAst, null, null); ErrorNode = new CFGNodeError(); ListOfCfgNodes.Add(ErrorNode); BuildNextFunction(); BuildSuccesors(); return(0); }