4
* Tim Dwyer <tgdwyer@gmail.com>
6
* Copyright (C) 2005 Authors
8
* Released under GNU LGPL. Read the file 'COPYING' for more information.
12
std::ostream& operator <<(std::ostream &os, const Variable &v) {
13
os << "(" << v.id << "=" << v.position() << ")";