# | 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 |