Gecode::FlatZinc::SetIntSetLastVal Class Reference

#include <gecode/flatzinc/lastval.hh>

Static Public Member Functions
static void	init_last_val (FlatZincSpace &home, size_t idx, Set::SetView &var)
static void	set_last_val (FlatZincSpace &home, size_t idx, Set::SetView &var)

Detailed Description

Definition at line 160 of file lastval.hh.

Member Function Documentation

init_last_val()

void Gecode::FlatZinc::SetIntSetLastVal::init_last_val ( FlatZincSpace & home, size_t idx, Set::SetView & var )

inlinestatic

Definition at line 162 of file lastval.hh.

set_last_val()

void Gecode::FlatZinc::SetIntSetLastVal::set_last_val ( FlatZincSpace & home, size_t idx, Set::SetView & var )

inlinestatic

Definition at line 166 of file lastval.hh.

---

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

• gecode/flatzinc/lastval.hh