Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1
Gecode::FlatZinc::FlatZincSpace Class Reference

A space that can be initialized with a FlatZinc model. More...

#include <flatzinc.hh>

Public Types

enum  Meth { SAT, MIN, MAX }
 

Public Member Functions

 FlatZincSpace (FznRnd *random=NULL)
 Construct empty space. More...
 
 ~FlatZincSpace (void)
 Destructor. More...
 
void init (int intVars, int boolVars, int setVars, int floatVars)
 Initialize space with given number of variables. More...
 
void newIntVar (IntVarSpec *vs)
 Create new integer variable from specification. More...
 
void aliasBool2Int (int iv, int bv)
 Link integer variable iv to Boolean variable bv. More...
 
int aliasBool2Int (int iv)
 Return linked Boolean variable for integer variable iv. More...
 
void newBoolVar (BoolVarSpec *vs)
 Create new Boolean variable from specification. More...
 
void newSetVar (SetVarSpec *vs)
 Create new set variable from specification. More...
 
void newFloatVar (FloatVarSpec *vs)
 Create new float variable from specification. More...
 
void postConstraints (std::vector< ConExpr * > &ces)
 Post a constraint specified by ce. More...
 
void solve (AST::Array *annotation)
 Post the solve item. More...
 
void minimize (int var, bool isInt, AST::Array *annotation)
 Post that integer variable var should be minimized. More...
 
void maximize (int var, bool isInt, AST::Array *annotation)
 Post that integer variable var should be maximized. More...
 
void run (std::ostream &out, const Printer &p, const FlatZincOptions &opt, Gecode::Support::Timer &t_total)
 Run the search. More...
 
void print (std::ostream &out, const Printer &p) const
 Produce output on out using p. More...
 
void compare (const Space &s, std::ostream &out) const
 Compare this space with space s and print the differences on out. More...
 
void compare (const FlatZincSpace &s, std::ostream &out, const Printer &p) const
 Compare this space with space s and print the differences on out using p. More...
 
void shrinkArrays (Printer &p)
 Remove all variables not needed for output. More...
 
Meth method (void) const
 Return whether to solve a satisfaction or optimization problem. More...
 
int optVar (void) const
 Return index of variable used for optimization. More...
 
bool optVarIsInt (void) const
 Return whether variable used for optimization is integer (or float) More...
 
void createBranchers (AST::Node *ann, int seed, double decay, bool ignoreUnknown, std::ostream &err=std::cerr)
 Create branchers corresponding to the solve item annotations. More...
 
AST::ArraysolveAnnotations (void) const
 Return the solve item annotations. More...
 
virtual void constrain (const Space &s)
 Implement optimization. More...
 
virtual Gecode::Spacecopy (bool share)
 Copy function. More...
 
virtual bool slave (const CRI &cri)
 Slave configuration function for restart meta search engine. More...
 
- Public Member Functions inherited from Gecode::Space
 Space (void)
 Default constructor. More...
 
virtual ~Space (void)
 Destructor. More...
 
 Space (bool share, Space &s)
 Constructor for cloning. More...
 
virtual bool master (const CRI &cri)
 Master configuration function for restart meta search engine. More...
 
SpaceStatus status (StatusStatistics &stat=unused_status)
 Query space status. More...
 
const Choicechoice (void)
 Create new choice for current brancher. More...
 
const Choicechoice (Archive &e) const
 Create new choice from e. More...
 
Spaceclone (bool share=true, CloneStatistics &stat=unused_clone) const
 Clone space. More...
 
void commit (const Choice &c, unsigned int a, CommitStatistics &stat=unused_commit)
 Commit choice c for alternative a. More...
 
void trycommit (const Choice &c, unsigned int a, CommitStatistics &stat=unused_commit)
 If possible, commit choice c for alternative a. More...
 
NGLngl (const Choice &c, unsigned int a)
 Create no-good literal for choice c and alternative a. More...
 
void print (const Choice &c, unsigned int a, std::ostream &o) const
 Print branch for choice c and alternative a. More...
 
void notice (Actor &a, ActorProperty p, bool duplicate=false)
 Notice actor property. More...
 
void ignore (Actor &a, ActorProperty p, bool duplicate=false)
 Ignore actor property. More...
 
ExecStatus ES_SUBSUMED (Propagator &p)
 
ExecStatus ES_SUBSUMED_DISPOSED (Propagator &p, size_t s)
 Propagator p is subsumed More...
 
ExecStatus ES_FIX_PARTIAL (Propagator &p, const ModEventDelta &med)
 Propagator p has computed partial fixpoint More...
 
ExecStatus ES_NOFIX_PARTIAL (Propagator &p, const ModEventDelta &med)
 Propagator p has not computed partial fixpoint More...
 
template<class A >
ExecStatus ES_FIX_DISPOSE (Council< A > &c, A &a)
 Advisor a must be disposed More...
 
template<class A >
ExecStatus ES_NOFIX_DISPOSE (Council< A > &c, A &a)
 Advisor a must be disposed and its propagator must be run More...
 
template<class A >
ExecStatus ES_NOFIX_DISPOSE_FORCE (Council< A > &c, A &a)
 Advisor a must be disposed and its propagator must be forcefully rescheduled More...
 
void fail (void)
 Fail space. More...
 
bool failed (void) const
 Check whether space is failed. More...
 
bool stable (void) const
 Return if space is stable (at fixpoint or failed) More...
 
unsigned int propagators (void) const
 Return number of propagators. More...
 
unsigned int branchers (void) const
 Return number of branchers. More...
 
template<class T >
T * alloc (long unsigned int n)
 Allocate block of n objects of type T from space heap. More...
 
template<class T >
T * alloc (long int n)
 Allocate block of n objects of type T from space heap. More...
 
template<class T >
T * alloc (unsigned int n)
 Allocate block of n objects of type T from space heap. More...
 
template<class T >
T * alloc (int n)
 Allocate block of n objects of type T from space heap. More...
 
template<class T >
void free (T *b, long unsigned int n)
 Delete n objects allocated from space heap starting at b. More...
 
template<class T >
void free (T *b, long int n)
 Delete n objects allocated from space heap starting at b. More...
 
template<class T >
void free (T *b, unsigned int n)
 Delete n objects allocated from space heap starting at b. More...
 
template<class T >
void free (T *b, int n)
 Delete n objects allocated from space heap starting at b. More...
 
template<class T >
T * realloc (T *b, long unsigned int n, long unsigned int m)
 Reallocate block of n objects starting at b to m objects of type T from the space heap. More...
 
template<class T >
T * realloc (T *b, long int n, long int m)
 Reallocate block of n objects starting at b to m objects of type T from the space heap. More...
 
template<class T >
T * realloc (T *b, unsigned int n, unsigned int m)
 Reallocate block of n objects starting at b to m objects of type T from the space heap. More...
 
template<class T >
T * realloc (T *b, int n, int m)
 Reallocate block of n objects starting at b to m objects of type T from the space heap. More...
 
template<class T >
T ** realloc (T **b, long unsigned int n, long unsigned int m)
 Reallocate block of n pointers starting at b to m objects of type T* from the space heap. More...
 
template<class T >
T ** realloc (T **b, long int n, long int m)
 Reallocate block of n pointers starting at b to m objects of type T* from the space heap. More...
 
template<class T >
T ** realloc (T **b, unsigned int n, unsigned int m)
 Reallocate block of n pointers starting at b to m objects of type T* from the space heap. More...
 
template<class T >
T ** realloc (T **b, int n, int m)
 Reallocate block of n pointers starting at b to m objects of type T* from the space heap. More...
 
void * ralloc (size_t s)
 Allocate memory on space heap. More...
 
void rfree (void *p, size_t s)
 Free memory previously allocated with alloc (might be reused later) More...
 
void * rrealloc (void *b, size_t n, size_t m)
 Reallocate memory block starting at b from size n to size s. More...
 
template<size_t >
void * fl_alloc (void)
 Allocate from freelist-managed memory. More...
 
template<size_t >
void fl_dispose (FreeList *f, FreeList *l)
 Return freelist-managed memory to freelist. More...
 
void flush (void)
 Flush cached memory blocks. More...
 
Home operator() (Propagator &p)
 Return a home for this space with the information that p is being rewritten. More...
 
template<class T >
T & construct (void)
 Construction routines. More...
 
template<class T , typename A1 >
T & construct (A1 const &a1)
 Constructs a single object of type T from space heap using a unary constructor. More...
 
template<class T , typename A1 , typename A2 >
T & construct (A1 const &a1, A2 const &a2)
 Constructs a single object of type T from space heap using a binary constructor. More...
 
template<class T , typename A1 , typename A2 , typename A3 >
T & construct (A1 const &a1, A2 const &a2, A3 const &a3)
 Constructs a single object of type T from space heap using a ternary constructor. More...
 
template<class T , typename A1 , typename A2 , typename A3 , typename A4 >
T & construct (A1 const &a1, A2 const &a2, A3 const &a3, A4 const &a4)
 Constructs a single object of type T from space heap using a quaternary constructor. More...
 
template<class T , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 >
T & construct (A1 const &a1, A2 const &a2, A3 const &a3, A4 const &a4, A5 const &a5)
 Constructs a single object of type T from space heap using a quinary constructor. More...
 
void afc_decay (double d)
 Set AFC decay factor to d More...
 
double afc_decay (void) const
 Return AFC decay factor. More...
 
void afc_set (double a)
 Reset AFC to a. More...
 

Public Attributes

Gecode::IntVarArray iv
 The integer variables. More...
 
Gecode::IntVarArray iv_aux
 The introduced integer variables. More...
 
Gecode::IntVarArray iv_lns
 The integer variables used in LNS. More...
 
std::vector< bool > iv_introduced
 Indicates whether an integer variable is introduced by mzn2fzn. More...
 
int * iv_boolalias
 Indicates whether an integer variable aliases a Boolean variable. More...
 
Gecode::BoolVarArray bv
 The Boolean variables. More...
 
Gecode::BoolVarArray bv_aux
 The introduced Boolean variables. More...
 
std::vector< bool > bv_introduced
 Indicates whether a Boolean variable is introduced by mzn2fzn. More...
 
Gecode::SetVarArray sv
 The set variables. More...
 
Gecode::SetVarArray sv_aux
 The introduced set variables. More...
 
std::vector< bool > sv_introduced
 Indicates whether a set variable is introduced by mzn2fzn. More...
 
Gecode::FloatVarArray fv
 The float variables. More...
 
Gecode::FloatVarArray fv_aux
 The introduced float variables. More...
 
std::vector< bool > fv_introduced
 Indicates whether a float variable is introduced by mzn2fzn. More...
 
bool needAuxVars
 Whether the introduced variables still need to be copied. More...
 
BranchInformation branchInfo
 Information for printing branches. More...
 

Protected Member Functions

 FlatZincSpace (bool share, FlatZincSpace &)
 Copy constructor. More...
 

Protected Attributes

int intVarCount
 Number of integer variables. More...
 
int boolVarCount
 Number of Boolean variables. More...
 
int floatVarCount
 Number of float variables. More...
 
int setVarCount
 Number of set variables. More...
 
int _optVar
 Index of the variable to optimize. More...
 
bool _optVarIsInt
 Whether variable to optimize is integer (or float) More...
 
Meth _method
 Whether to solve as satisfaction or optimization problem. More...
 
unsigned int _lns
 Percentage of variables to keep in LNS (or 0 for no LNS) More...
 
FznRnd_random
 Random number generator. More...
 
AST::Array_solveAnnotations
 Annotations on the solve item. More...
 

AST to variable and value conversion

IntArgs arg2intargs (AST::Node *arg, int offset=0)
 Convert arg (array of integers) to IntArgs. More...
 
IntArgs arg2boolargs (AST::Node *arg, int offset=0)
 Convert arg (array of Booleans) to IntArgs. More...
 
IntSet arg2intset (AST::Node *n)
 Convert n to IntSet. More...
 
IntSetArgs arg2intsetargs (AST::Node *arg, int offset=0)
 Convert arg to IntSetArgs. More...
 
IntVarArgs arg2intvarargs (AST::Node *arg, int offset=0)
 Convert arg to IntVarArgs. More...
 
BoolVarArgs arg2boolvarargs (AST::Node *arg, int offset=0, int siv=-1)
 Convert arg to BoolVarArgs. More...
 
BoolVar arg2BoolVar (AST::Node *n)
 Convert n to BoolVar. More...
 
IntVar arg2IntVar (AST::Node *n)
 Convert n to IntVar. More...
 
bool isBoolArray (AST::Node *b, int &singleInt)
 Check if b is array of Booleans (or has a single integer) More...
 
SetVar arg2SetVar (AST::Node *n)
 Convert n to SetVar. More...
 
SetVarArgs arg2setvarargs (AST::Node *arg, int offset=0, int doffset=0, const IntSet &od=IntSet::empty)
 Convert n to SetVarArgs. More...
 
FloatValArgs arg2floatargs (AST::Node *arg, int offset=0)
 Convert n to FloatValArgs. More...
 
FloatVar arg2FloatVar (AST::Node *n)
 Convert n to FloatVar. More...
 
FloatVarArgs arg2floatvarargs (AST::Node *arg, int offset=0)
 Convert n to FloatVarArgs. More...
 
IntConLevel ann2icl (AST::Node *ann)
 Convert ann to IntConLevel. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::Space
static void * operator new (size_t)
 Allocate memory from heap for new space. More...
 
static void operator delete (void *)
 Free memory allocated from heap. More...
 

Detailed Description

A space that can be initialized with a FlatZinc model.

Definition at line 371 of file flatzinc.hh.

Member Enumeration Documentation

Enumerator
SAT 
MIN 
MAX 

Definition at line 373 of file flatzinc.hh.

Constructor & Destructor Documentation

Gecode::FlatZinc::FlatZincSpace::FlatZincSpace ( bool  share,
FlatZincSpace f 
)
protected

Copy constructor.

Definition at line 623 of file flatzinc.cpp.

Gecode::FlatZinc::FlatZincSpace::FlatZincSpace ( FznRnd random = NULL)

Construct empty space.

Definition at line 690 of file flatzinc.cpp.

Gecode::FlatZinc::FlatZincSpace::~FlatZincSpace ( void  )

Destructor.

Definition at line 1335 of file flatzinc.cpp.

Member Function Documentation

void Gecode::FlatZinc::FlatZincSpace::init ( int  intVars,
int  boolVars,
int  setVars,
int  floatVars 
)

Initialize space with given number of variables.

Definition at line 698 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::newIntVar ( IntVarSpec vs)

Create new integer variable from specification.

Definition at line 723 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::aliasBool2Int ( int  iv,
int  bv 
)

Link integer variable iv to Boolean variable bv.

Definition at line 741 of file flatzinc.cpp.

int Gecode::FlatZinc::FlatZincSpace::aliasBool2Int ( int  iv)

Return linked Boolean variable for integer variable iv.

Definition at line 745 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::newBoolVar ( BoolVarSpec vs)

Create new Boolean variable from specification.

Definition at line 750 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::newSetVar ( SetVarSpec vs)

Create new set variable from specification.

Definition at line 762 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::newFloatVar ( FloatVarSpec vs)

Create new float variable from specification.

Definition at line 809 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::postConstraints ( std::vector< ConExpr * > &  ces)

Post a constraint specified by ce.

Definition at line 846 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::solve ( AST::Array annotation)

Post the solve item.

Definition at line 1314 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::minimize ( int  var,
bool  isInt,
AST::Array annotation 
)

Post that integer variable var should be minimized.

Definition at line 1320 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::maximize ( int  var,
bool  isInt,
AST::Array annotation 
)

Post that integer variable var should be maximized.

Definition at line 1328 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::run ( std::ostream &  out,
const Printer p,
const FlatZincOptions opt,
Gecode::Support::Timer t_total 
)

Run the search.

Definition at line 1580 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::print ( std::ostream &  out,
const Printer p 
) const

Produce output on out using p.

Definition at line 1649 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::compare ( const Space s,
std::ostream &  out 
) const

Compare this space with space s and print the differences on out.

Definition at line 1661 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::compare ( const FlatZincSpace s,
std::ostream &  out,
const Printer p 
) const

Compare this space with space s and print the differences on out using p.

Definition at line 1701 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::shrinkArrays ( Printer p)

Remove all variables not needed for output.

After calling this function, no new constraints can be posted through FlatZinc variable references, and the createBranchers method must not be called again.

Definition at line 1714 of file flatzinc.cpp.

FlatZincSpace::Meth Gecode::FlatZinc::FlatZincSpace::method ( void  ) const

Return whether to solve a satisfaction or optimization problem.

Definition at line 1634 of file flatzinc.cpp.

int Gecode::FlatZinc::FlatZincSpace::optVar ( void  ) const

Return index of variable used for optimization.

Definition at line 1639 of file flatzinc.cpp.

bool Gecode::FlatZinc::FlatZincSpace::optVarIsInt ( void  ) const

Return whether variable used for optimization is integer (or float)

Definition at line 1644 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::createBranchers ( AST::Node ann,
int  seed,
double  decay,
bool  ignoreUnknown,
std::ostream &  err = std::cerr 
)

Create branchers corresponding to the solve item annotations.

If ignoreUnknown is true, unknown solve item annotations will be ignored, otherwise a warning is written to err.

The seed for random branchers is given by the seed parameter.

Definition at line 879 of file flatzinc.cpp.

AST::Array * Gecode::FlatZinc::FlatZincSpace::solveAnnotations ( void  ) const

Return the solve item annotations.

Definition at line 1309 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::constrain ( const Space s)
virtual

Implement optimization.

Reimplemented from Gecode::Space.

Definition at line 1594 of file flatzinc.cpp.

Space * Gecode::FlatZinc::FlatZincSpace::copy ( bool  share)
virtual

Copy function.

Implements Gecode::Space.

Definition at line 1629 of file flatzinc.cpp.

bool Gecode::FlatZinc::FlatZincSpace::slave ( const CRI cri)
virtual

Slave configuration function for restart meta search engine.

A restart meta search engine calls this function on its slave space whenever it finds a solution or exploration restarts. cri contains information about the current restart.

If the function returns true, the search on the slave space is considered complete, i.e., if it fails or exhaustively explores the entire search space, the meta search engine finishes. If the function returns false, the search on the slave space is considered incomplete, and the meta engine will restart the search regardless of whether the search on the slave space finishes or times out.

The default function does nothing and returns true.

Reimplemented from Gecode::Space.

Definition at line 1615 of file flatzinc.cpp.

IntArgs Gecode::FlatZinc::FlatZincSpace::arg2intargs ( AST::Node arg,
int  offset = 0 
)

Convert arg (array of integers) to IntArgs.

Definition at line 1726 of file flatzinc.cpp.

IntArgs Gecode::FlatZinc::FlatZincSpace::arg2boolargs ( AST::Node arg,
int  offset = 0 
)

Convert arg (array of Booleans) to IntArgs.

Definition at line 1736 of file flatzinc.cpp.

IntSet Gecode::FlatZinc::FlatZincSpace::arg2intset ( AST::Node n)

Convert n to IntSet.

Definition at line 1746 of file flatzinc.cpp.

IntSetArgs Gecode::FlatZinc::FlatZincSpace::arg2intsetargs ( AST::Node arg,
int  offset = 0 
)

Convert arg to IntSetArgs.

Definition at line 1761 of file flatzinc.cpp.

IntVarArgs Gecode::FlatZinc::FlatZincSpace::arg2intvarargs ( AST::Node arg,
int  offset = 0 
)

Convert arg to IntVarArgs.

Definition at line 1776 of file flatzinc.cpp.

BoolVarArgs Gecode::FlatZinc::FlatZincSpace::arg2boolvarargs ( AST::Node arg,
int  offset = 0,
int  siv = -1 
)

Convert arg to BoolVarArgs.

Definition at line 1797 of file flatzinc.cpp.

BoolVar Gecode::FlatZinc::FlatZincSpace::arg2BoolVar ( AST::Node n)

Convert n to BoolVar.

Definition at line 1823 of file flatzinc.cpp.

IntVar Gecode::FlatZinc::FlatZincSpace::arg2IntVar ( AST::Node n)

Convert n to IntVar.

Definition at line 1834 of file flatzinc.cpp.

bool Gecode::FlatZinc::FlatZincSpace::isBoolArray ( AST::Node b,
int &  singleInt 
)

Check if b is array of Booleans (or has a single integer)

Definition at line 1844 of file flatzinc.cpp.

SetVar Gecode::FlatZinc::FlatZincSpace::arg2SetVar ( AST::Node n)

Convert n to SetVar.

Definition at line 1866 of file flatzinc.cpp.

SetVarArgs Gecode::FlatZinc::FlatZincSpace::arg2setvarargs ( AST::Node arg,
int  offset = 0,
int  doffset = 0,
const IntSet od = IntSet::empty 
)

Convert n to SetVarArgs.

Definition at line 1877 of file flatzinc.cpp.

FloatValArgs Gecode::FlatZinc::FlatZincSpace::arg2floatargs ( AST::Node arg,
int  offset = 0 
)

Convert n to FloatValArgs.

Definition at line 1893 of file flatzinc.cpp.

FloatVar Gecode::FlatZinc::FlatZincSpace::arg2FloatVar ( AST::Node n)

Convert n to FloatVar.

Definition at line 1924 of file flatzinc.cpp.

FloatVarArgs Gecode::FlatZinc::FlatZincSpace::arg2floatvarargs ( AST::Node arg,
int  offset = 0 
)

Convert n to FloatVarArgs.

Definition at line 1903 of file flatzinc.cpp.

IntConLevel Gecode::FlatZinc::FlatZincSpace::ann2icl ( AST::Node ann)

Convert ann to IntConLevel.

Definition at line 1935 of file flatzinc.cpp.

Member Data Documentation

int Gecode::FlatZinc::FlatZincSpace::intVarCount
protected

Number of integer variables.

Definition at line 380 of file flatzinc.hh.

int Gecode::FlatZinc::FlatZincSpace::boolVarCount
protected

Number of Boolean variables.

Definition at line 382 of file flatzinc.hh.

int Gecode::FlatZinc::FlatZincSpace::floatVarCount
protected

Number of float variables.

Definition at line 384 of file flatzinc.hh.

int Gecode::FlatZinc::FlatZincSpace::setVarCount
protected

Number of set variables.

Definition at line 386 of file flatzinc.hh.

int Gecode::FlatZinc::FlatZincSpace::_optVar
protected

Index of the variable to optimize.

Definition at line 389 of file flatzinc.hh.

bool Gecode::FlatZinc::FlatZincSpace::_optVarIsInt
protected

Whether variable to optimize is integer (or float)

Definition at line 391 of file flatzinc.hh.

Meth Gecode::FlatZinc::FlatZincSpace::_method
protected

Whether to solve as satisfaction or optimization problem.

Definition at line 394 of file flatzinc.hh.

unsigned int Gecode::FlatZinc::FlatZincSpace::_lns
protected

Percentage of variables to keep in LNS (or 0 for no LNS)

Definition at line 397 of file flatzinc.hh.

FznRnd* Gecode::FlatZinc::FlatZincSpace::_random
protected

Random number generator.

Definition at line 400 of file flatzinc.hh.

AST::Array* Gecode::FlatZinc::FlatZincSpace::_solveAnnotations
protected

Annotations on the solve item.

Definition at line 403 of file flatzinc.hh.

Gecode::IntVarArray Gecode::FlatZinc::FlatZincSpace::iv

The integer variables.

Definition at line 423 of file flatzinc.hh.

Gecode::IntVarArray Gecode::FlatZinc::FlatZincSpace::iv_aux

The introduced integer variables.

Definition at line 425 of file flatzinc.hh.

Gecode::IntVarArray Gecode::FlatZinc::FlatZincSpace::iv_lns

The integer variables used in LNS.

Definition at line 428 of file flatzinc.hh.

std::vector<bool> Gecode::FlatZinc::FlatZincSpace::iv_introduced

Indicates whether an integer variable is introduced by mzn2fzn.

Definition at line 431 of file flatzinc.hh.

int* Gecode::FlatZinc::FlatZincSpace::iv_boolalias

Indicates whether an integer variable aliases a Boolean variable.

Definition at line 433 of file flatzinc.hh.

Gecode::BoolVarArray Gecode::FlatZinc::FlatZincSpace::bv

The Boolean variables.

Definition at line 435 of file flatzinc.hh.

Gecode::BoolVarArray Gecode::FlatZinc::FlatZincSpace::bv_aux

The introduced Boolean variables.

Definition at line 437 of file flatzinc.hh.

std::vector<bool> Gecode::FlatZinc::FlatZincSpace::bv_introduced

Indicates whether a Boolean variable is introduced by mzn2fzn.

Definition at line 439 of file flatzinc.hh.

Gecode::SetVarArray Gecode::FlatZinc::FlatZincSpace::sv

The set variables.

Definition at line 442 of file flatzinc.hh.

Gecode::SetVarArray Gecode::FlatZinc::FlatZincSpace::sv_aux

The introduced set variables.

Definition at line 444 of file flatzinc.hh.

std::vector<bool> Gecode::FlatZinc::FlatZincSpace::sv_introduced

Indicates whether a set variable is introduced by mzn2fzn.

Definition at line 446 of file flatzinc.hh.

Gecode::FloatVarArray Gecode::FlatZinc::FlatZincSpace::fv

The float variables.

Definition at line 450 of file flatzinc.hh.

Gecode::FloatVarArray Gecode::FlatZinc::FlatZincSpace::fv_aux

The introduced float variables.

Definition at line 452 of file flatzinc.hh.

std::vector<bool> Gecode::FlatZinc::FlatZincSpace::fv_introduced

Indicates whether a float variable is introduced by mzn2fzn.

Definition at line 454 of file flatzinc.hh.

bool Gecode::FlatZinc::FlatZincSpace::needAuxVars

Whether the introduced variables still need to be copied.

Definition at line 457 of file flatzinc.hh.

BranchInformation Gecode::FlatZinc::FlatZincSpace::branchInfo

Information for printing branches.

Definition at line 541 of file flatzinc.hh.


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