Gecode::Optimize::CompiledFlatZinc Class Reference

#include < -- improving gecode/implementation/gecode/gecode/optimize/flatzinc.hpp>

Public Member Functions
const ModelSnapshot &	model () const
const FlatZinc::Capture::Records &	source () const
const std::vector< FlatZincVariableMapping > &	variables () const

Detailed Description

Immutable original source and compiled model; no parser or Space lifetime.

Member Function Documentation

model()

const ModelSnapshot & Gecode::Optimize::CompiledFlatZinc::model

(

)

const

source()

const FlatZinc::Capture::Records & Gecode::Optimize::CompiledFlatZinc::source

(

)

const

variables()

const std::vector< FlatZincVariableMapping > & Gecode::Optimize::CompiledFlatZinc::variables

(

)

const

---

The documentation for this class was generated from the following file:

• flatzinc.hpp