contrib/mul/mmn/mmn_csp_solver.h File Reference

See if the Constraint Satisfaction Problem is satisfiable. More...

#include <vcl_vector.h>
#include <vcl_set.h>
#include <mmn/mmn_arc.h>
#include <mmn/mmn_dependancy.h>
#include <mmn/mmn_graph_rep1.h>
#include <mbl/mbl_stl_pred.h>

Go to the source code of this file.

Classes
class	mmn_csp_solver
	Given (sparse?) graph eliminate invalid arcs and nodes until a kernel of arc-consistent nodes and arcs remains. More...

---

Detailed Description

See if the Constraint Satisfaction Problem is satisfiable.

Author:

Martin Roberts

Definition in file mmn_csp_solver.h.