Generated on Sat Jan 20 2018 22:21:22 for Gecode by doxygen 1.8.13

Reification specification. More...

#include <int.hh>

Public Member Functions

 Reify (void)
 Default constructor without proper initialization. More...
 
 Reify (BoolVar x, ReifyMode rm=RM_EQV)
 Construct reification specification. More...
 
BoolVar var (void) const
 Return Boolean control variable. More...
 
ReifyMode mode (void) const
 Return reification mode. More...
 
void var (BoolVar x)
 Set Boolean control variable. More...
 
void mode (ReifyMode rm)
 Set reification mode. More...
 

Protected Attributes

BoolVar x
 The Boolean control variable. More...
 
ReifyMode rm
 The reification mode. More...
 

Detailed Description

Reification specification.

Definition at line 857 of file int.hh.

Constructor & Destructor Documentation

◆ Reify() [1/2]

Gecode::Reify::Reify ( void  )
inline

Default constructor without proper initialization.

Definition at line 46 of file reify.hpp.

◆ Reify() [2/2]

Gecode::Reify::Reify ( BoolVar  x,
ReifyMode  rm = RM_EQV 
)
inline

Construct reification specification.

Definition at line 49 of file reify.hpp.

Member Function Documentation

◆ var() [1/2]

BoolVar Gecode::Reify::var ( void  ) const
inline

Return Boolean control variable.

Definition at line 52 of file reify.hpp.

◆ mode() [1/2]

ReifyMode Gecode::Reify::mode ( void  ) const
inline

Return reification mode.

Definition at line 60 of file reify.hpp.

◆ var() [2/2]

void Gecode::Reify::var ( BoolVar  x)
inline

Set Boolean control variable.

Definition at line 56 of file reify.hpp.

◆ mode() [2/2]

void Gecode::Reify::mode ( ReifyMode  rm)
inline

Set reification mode.

Definition at line 64 of file reify.hpp.

Member Data Documentation

◆ x

BoolVar Gecode::Reify::x
protected

The Boolean control variable.

Definition at line 860 of file int.hh.

◆ rm

ReifyMode Gecode::Reify::rm
protected

The reification mode.

Definition at line 862 of file int.hh.


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