flatzinc.cc File Reference

(Revision: 6163)

#include "gecode/serialization.hh"
#include "gecode/int.hh"
#include "gecode/set.hh"

Go to the source code of this file.

Namespaces

namespace Gecode

Functions

void Gecode::emitFlatzinc (Space *home, std::ostream &os)

Produce FlatZinc-like representation of home
A FlatZinc-like representation of the space home is written to os, respecting the variable names established by m.


Namespaces
namespace	Gecode
Functions
void	Gecode::emitFlatzinc (Space *home, std::ostream &os)
	Produce FlatZinc-like representation of home A FlatZinc-like representation of the space home is written to os, respecting the variable names established by m.