public int AddVar(string varName, BddManager manager, List <string> bddToName) { int varID = manager.CreateBddVariableLast().GetBddRootVariableID(); m_VariablesToId.Add(varName, varID); bddToName.Add(varName); manager.CreateBddVariableLast(); bddToName.Add(varName + "''"); manager.CreateBddVariableLast(); bddToName.Add(varName + "'"); return(varID); }