C++ Reference

C++ Reference: Routing

BooleanVarabstract

Detailed Description

Definition at line 1926 of file constraint_solveri.h.

Public Member Functions

 BooleanVar (Solver *const s, const std::string &name="")
 
 ~BooleanVar () override
 
int64 Min () const override
 
void SetMin (int64 m) override
 
int64 Max () const override
 
void SetMax (int64 m) override
 
void SetRange (int64 mi, int64 ma) override
 
bool Bound () const override
 
int64 Value () const override
 
void RemoveValue (int64 v) override
 
void RemoveInterval (int64 l, int64 u) override
 
void WhenBound (Demon *d) override
 
void WhenRange (Demon *d) override
 
void WhenDomain (Demon *d) override
 
uint64 Size () const override
 
bool Contains (int64 v) const override
 
IntVarIterator * MakeHoleIterator (bool reversible) const override
 
IntVarIterator * MakeDomainIterator (bool reversible) const override
 
std::string DebugString () const override
 
int VarType () const override
 
IntVar * IsEqual (int64 constant) override
 
IntVar * IsDifferent (int64 constant) override
 
IntVar * IsGreaterOrEqual (int64 constant) override
 
IntVar * IsLessOrEqual (int64 constant) override
 
virtual void RestoreValue ()=0
 
std::string BaseName () const override
 
int RawValue () const
 

Static Public Attributes

static const int kUnboundBooleanVarValue
 

Protected Attributes

int value_
 
SimpleRevFIFO< Demon * > bound_demons_
 
SimpleRevFIFO< Demon * > delayed_bound_demons_
 

Constructor & Destructor Documentation

◆ BooleanVar()

BooleanVar ( Solver *const  s,
const std::string &  name = "" 
)
inlineexplicit

Definition at line 1930 of file constraint_solveri.h.

◆ ~BooleanVar()

~BooleanVar ( )
inlineoverride

Definition at line 1933 of file constraint_solveri.h.

Member Function Documentation

◆ BaseName()

std::string BaseName ( ) const
inlineoverride

Definition at line 1963 of file constraint_solveri.h.

◆ Bound()

bool Bound ( ) const
inlineoverride

Definition at line 1940 of file constraint_solveri.h.

◆ Contains()

bool Contains ( int64  v) const
override

◆ DebugString()

std::string DebugString ( ) const
override

◆ IsDifferent()

IntVar* IsDifferent ( int64  constant)
override

◆ IsEqual()

IntVar* IsEqual ( int64  constant)
override

◆ IsGreaterOrEqual()

IntVar* IsGreaterOrEqual ( int64  constant)
override

◆ IsLessOrEqual()

IntVar* IsLessOrEqual ( int64  constant)
override

◆ MakeDomainIterator()

IntVarIterator* MakeDomainIterator ( bool  reversible) const
override

◆ MakeHoleIterator()

IntVarIterator* MakeHoleIterator ( bool  reversible) const
override

◆ Max()

int64 Max ( ) const
inlineoverride

Definition at line 1937 of file constraint_solveri.h.

◆ Min()

int64 Min ( ) const
inlineoverride

Definition at line 1935 of file constraint_solveri.h.

◆ RawValue()

int RawValue ( ) const
inline

Definition at line 1965 of file constraint_solveri.h.

◆ RemoveInterval()

void RemoveInterval ( int64  l,
int64  u 
)
override

◆ RemoveValue()

void RemoveValue ( int64  v)
override

◆ RestoreValue()

virtual void RestoreValue ( )
pure virtual

◆ SetMax()

void SetMax ( int64  m)
override

◆ SetMin()

void SetMin ( int64  m)
override

◆ SetRange()

void SetRange ( int64  mi,
int64  ma 
)
override

◆ Size()

uint64 Size ( ) const
override

◆ Value()

int64 Value ( ) const
inlineoverride

Definition at line 1941 of file constraint_solveri.h.

◆ VarType()

int VarType ( ) const
inlineoverride

Definition at line 1955 of file constraint_solveri.h.

◆ WhenBound()

void WhenBound ( Demon *  d)
override

◆ WhenDomain()

void WhenDomain ( Demon *  d)
inlineoverride

Definition at line 1949 of file constraint_solveri.h.

◆ WhenRange()

void WhenRange ( Demon *  d)
inlineoverride

Definition at line 1948 of file constraint_solveri.h.

Member Data Documentation

◆ bound_demons_

SimpleRevFIFO<Demon*> bound_demons_
protected

Definition at line 1969 of file constraint_solveri.h.

◆ delayed_bound_demons_

SimpleRevFIFO<Demon*> delayed_bound_demons_
protected

Definition at line 1970 of file constraint_solveri.h.

◆ kUnboundBooleanVarValue

const int kUnboundBooleanVarValue
static

Definition at line 1928 of file constraint_solveri.h.

◆ value_

int value_
protected

Definition at line 1968 of file constraint_solveri.h.


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