#include <Solution.h>
Public Member Functions | |
| Solution (const vector< pair< const Variable *, const Value * > > &assignments) | |
| virtual | ~Solution () |
| Destructor. | |
| id_t | id () const |
| Return the solution's id. | |
| void | setId (id_t id) |
| Set the solution's id. | |
| const Value * | lookup (const Variable &variable) const |
| virtual wostream & | print (wostream &wos) const |
| Print the solution at the given stream. | |
Friends | |
| CSP_API wostream & | operator<< (wostream &wos, const Solution &solution) |
| Print the variable at the given stream. | |
| CSP_API bool | operator== (const Solution &solution0, const Solution &solution1) |
|
|
Constructor.
|
|
|
Look an assignment up.
|
1.3.9.1