| # | Line 203 | Line 203 | void ZConsVisitor::internalVisit(StuntDouble* sd, cons | |
|---|---|---|
| 203 | ||
| 204 | } | |
| 205 | ||
| 206 | < | void ZConsVisitor::internalVisit(StuntDouble* sd, const string& prefix){ |
| 206 | > | void ZConsVisitor::internalVisit(StuntDouble* sd, const std::string& prefix){ |
| 207 | GenericData* data; | |
| 208 | AtomData* atomData; | |
| 209 | AtomInfo* atomInfo; | |
| # | Line 225 | Line 225 | bool ZConsVisitor::isZconstraint(int index, string& pr | |
| 225 | } | |
| 226 | ||
| 227 | ||
| 228 | < | bool ZConsVisitor::isZconstraint(int index, string& prefix){ |
| 228 | > | bool ZConsVisitor::isZconstraint(int index, std::string& prefix){ |
| 229 | std::map<int, ZConsState>::iterator i; | |
| 230 | std::string prefixString[] = {"ZF", "ZM"}; | |
| 231 | ||
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |