serialization.hh File Reference

(Revision: 7297)

#include "gecode/kernel.hh"
#include <iostream>
#include <vector>

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::Serialization
Defines
#define	GECODE_SERIALIZATION_EXPORT   __attribute__ ((visibility("default")))
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.
void	Gecode::emitJavaScript (Space *home, std::ostream &os)
	Produce JavaScript representation of home A JavaScript representation of the space home is written to os, respecting the variable names established by m.
void	Gecode::Serialization::initRegistry (void)
	Initialize the registry of post functions.

---

Define Documentation

#define GECODE_SERIALIZATION_EXPORT   __attribute__ ((visibility("default")))

Definition at line 61 of file serialization.hh.