variable.cpp

Go to the documentation of this file.

 
#include "config.h"
 
#include <vpsc/variable.h>
std::ostream& operator <<(std::ostream &os, const Variable &v) {
        os << "(" << v.id << "=" << v.position() << ")";
        return os;
}