| 70 | |
| 71 | |
| 72 | inline void p_node::write(std::ostream& os, int _id) |
| 73 | { |
| 74 | os << "node [\n" << "id " << _id << std::endl; |
| 75 | os << "label \"" << id << "\nP" << "\"\n"; |
| 76 | os << "graphics [\n" << "x 100\n" << "y 100\n"; |
| 77 | if (mark == UNBLOCKED) { |
| 78 | os << "outline \"#0000ff\"\n"; |
| 79 | } else if (mark == BLOCKED) { |
| 80 | os << "outline \"#ff0000\"\n"; |
| 81 | } |
| 82 | os << "type \"oval\"\n" << "]" << std::endl; |
| 83 | os << "LabelGraphics [\n"; |
| 84 | os << "type \"text\"\n]\n]" << std::endl; |
| 85 | } |
| 86 | |
| 87 | //-------------------------------------------------------------------------- |
| 88 | // Q-NODE |