--------------------------------------------------------------
| 769 | |
| 770 | // -------------------------------------------------------------- |
| 771 | void |
| 772 | Variable::OutputLowerBound(std::ostream &out) const |
| 773 | { |
| 774 | if (field_var_of) { |
| 775 | field_var_of->OutputLowerBound(out); |
| 776 | size_t dot = name.find_last_of("."); |
| 777 | assert(dot != string::npos); |
| 778 | string postfix = name.substr(dot, string::npos); |
| 779 | out << postfix; |
| 780 | } |
| 781 | else { |
| 782 | out << get_actual_name(); |
| 783 | } |
| 784 | } |
| 785 | |
| 786 | // -------------------------------------------------------------- |
| 787 | std::vector<const Variable*>& |