From cfe3a21e1b17d3b9fc4d53a4477ef511474c0bbd Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 28 Mar 2006 14:58:13 +0000 Subject: [PATCH] Changed calls to v.at() function of C++ vectors to equivalent v[] to allow compilation on older versions of gcc. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@41 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/simulator/simreasoning.cc | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/prism/src/simulator/simreasoning.cc b/prism/src/simulator/simreasoning.cc index a6518242..04454419 100644 --- a/prism/src/simulator/simreasoning.cc +++ b/prism/src/simulator/simreasoning.cc @@ -199,7 +199,7 @@ void CFinalUpdate::Print_Update() << "\t"; for(int i = 0; i < no_assignments; i++) { - cout << assignments.at(i)->To_String(); + cout << assignments[i]->To_String(); if(i != no_assignments-1) cout << ","; } } @@ -711,11 +711,11 @@ bool Are_Updates_Deterministic() //look at what the first update would do (compare_state) for(int i = 0; i < first->no_assignments; i++) { - first->assignments.at(i)->Do_Assign(new_state); + first->assignments[i]->Do_Assign(new_state); } for(int i = 0; i < first->no_assignments; i++) { - first->assignments.at(i)->Complete_Assign(new_state); + first->assignments[i]->Complete_Assign(new_state); } //cout << "Are_Updates_Deterministic 3" << endl; //do each of the other updates match @@ -725,11 +725,11 @@ bool Are_Updates_Deterministic() Copy_Int_Array(state_variables, compare_state, no_state_variables); for(int j = 0; j < Get_Update(i)->no_assignments; j++) { - Get_Update(i)->assignments.at(j)->Do_Assign(compare_state); + Get_Update(i)->assignments[j]->Do_Assign(compare_state); } for(int j = 0; j < Get_Update(i)->no_assignments; j++) { - Get_Update(i)->assignments.at(j)->Complete_Assign(compare_state); + Get_Update(i)->assignments[j]->Complete_Assign(compare_state); } //if any are not the same we are not moving deterministically, return false if(!Int_Arrays_Equals(compare_state, new_state, no_state_variables)) @@ -1001,7 +1001,7 @@ CFinalUpdate* Get_Update(int index) the_updates.push_back(fupd); } } - return the_updates.at(index); + return the_updates[index]; }