diff options
author | Stefan Radomski <sradomski@mintwerk.de> | 2016-02-24 10:50:32 (GMT) |
---|---|---|
committer | Stefan Radomski <sradomski@mintwerk.de> | 2016-02-24 10:50:32 (GMT) |
commit | cf19f11b8d2bd6d9566c7528fbed40af06928abf (patch) | |
tree | a373b8e934fa78a1bf9db8afca2e9854437e45da /src/uscxml/transform/ChartToTex.cpp | |
parent | 7212d5a3dbbd2845d09df96b2c345132c8a24931 (diff) | |
download | uscxml-cf19f11b8d2bd6d9566c7528fbed40af06928abf.zip uscxml-cf19f11b8d2bd6d9566c7528fbed40af06928abf.tar.gz uscxml-cf19f11b8d2bd6d9566c7528fbed40af06928abf.tar.bz2 |
Some more refactoring and VHDL transformation
Diffstat (limited to 'src/uscxml/transform/ChartToTex.cpp')
-rw-r--r-- | src/uscxml/transform/ChartToTex.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/uscxml/transform/ChartToTex.cpp b/src/uscxml/transform/ChartToTex.cpp index f38740a..9d30be5 100644 --- a/src/uscxml/transform/ChartToTex.cpp +++ b/src/uscxml/transform/ChartToTex.cpp @@ -109,7 +109,7 @@ void ChartToTex::writeTex(std::ostream& stream) { for (std::list<GlobalTransition*>::iterator transIter = stateIter->second->sortedOutgoing.begin(); transIter != stateIter->second->sortedOutgoing.end(); transIter++) { GlobalTransition* currTrans = *transIter; Arabica::XPath::NodeSet<std::string> members = currTrans->getTransitions(); - for (int i = 0; i < members.size(); i++) { + for (size_t i = 0; i < members.size(); i++) { Element<std::string> transElem(members[i]); if (HAS_ATTR(transElem, "priority")) { origTransitions.insert(ATTR(transElem, "priority")); @@ -149,7 +149,7 @@ void ChartToTex::writeTex(std::ostream& stream) { if (members.size() > 0) { stream << "$\\{ "; seperator = ""; - for (int i = 0; i < members.size(); i++) { + for (size_t i = 0; i < members.size(); i++) { Element<std::string> transElem(members[i]); if (HAS_ATTR(transElem, "priority")) { stream << seperator << "t_{" << ATTR(transElem, "priority") << "}"; |