OR-Tools  8.2
Domain

Detailed Description

Definition at line 48 of file flatzinc/model.h.

Public Member Functions

bool HasOneValue () const
 
bool empty () const
 
int64 Min () const
 
int64 Max () const
 
int64 Value () const
 
bool IsAllInt64 () const
 
bool Contains (int64 value) const
 
bool OverlapsIntList (const std::vector< int64 > &vec) const
 
bool OverlapsIntInterval (int64 lb, int64 ub) const
 
bool OverlapsDomain (const Domain &other) const
 
bool IntersectWithSingleton (int64 value)
 
bool IntersectWithDomain (const Domain &domain)
 
bool IntersectWithInterval (int64 interval_min, int64 interval_max)
 
bool IntersectWithListOfIntegers (const std::vector< int64 > &integers)
 
bool RemoveValue (int64 value)
 
std::string DebugString () const
 

Static Public Member Functions

static Domain IntegerList (std::vector< int64 > values)
 
static Domain AllInt64 ()
 
static Domain IntegerValue (int64 value)
 
static Domain Interval (int64 included_min, int64 included_max)
 
static Domain Boolean ()
 
static Domain SetOfIntegerList (std::vector< int64 > values)
 
static Domain SetOfAllInt64 ()
 
static Domain SetOfIntegerValue (int64 value)
 
static Domain SetOfInterval (int64 included_min, int64 included_max)
 
static Domain SetOfBoolean ()
 
static Domain EmptyDomain ()
 

Public Attributes

std::vector< int64values
 
bool is_interval
 
bool display_as_boolean
 
bool is_a_set
 

Member Function Documentation

◆ AllInt64()

Domain AllInt64 ( )
static

Definition at line 41 of file model.cc.

◆ Boolean()

Domain Boolean ( )
static

Definition at line 68 of file model.cc.

◆ Contains()

bool Contains ( int64  value) const

Definition at line 265 of file model.cc.

◆ DebugString()

std::string DebugString ( ) const

Definition at line 370 of file model.cc.

◆ empty()

bool empty ( ) const

Definition at line 240 of file model.cc.

◆ EmptyDomain()

Domain EmptyDomain ( )
static

Definition at line 108 of file model.cc.

◆ HasOneValue()

bool HasOneValue ( ) const

Definition at line 236 of file model.cc.

◆ IntegerList()

Domain IntegerList ( std::vector< int64 values)
static

Definition at line 31 of file model.cc.

◆ IntegerValue()

Domain IntegerValue ( int64  value)
static

Definition at line 49 of file model.cc.

◆ IntersectWithDomain()

bool IntersectWithDomain ( const Domain domain)

Definition at line 116 of file model.cc.

◆ IntersectWithInterval()

bool IntersectWithInterval ( int64  interval_min,
int64  interval_max 
)

Definition at line 143 of file model.cc.

◆ IntersectWithListOfIntegers()

bool IntersectWithListOfIntegers ( const std::vector< int64 > &  integers)

Definition at line 191 of file model.cc.

◆ IntersectWithSingleton()

bool IntersectWithSingleton ( int64  value)

Definition at line 139 of file model.cc.

◆ Interval()

Domain Interval ( int64  included_min,
int64  included_max 
)
static

Definition at line 58 of file model.cc.

◆ IsAllInt64()

bool IsAllInt64 ( ) const

Definition at line 260 of file model.cc.

◆ Max()

int64 Max ( ) const

Definition at line 250 of file model.cc.

◆ Min()

int64 Min ( ) const

Definition at line 245 of file model.cc.

◆ OverlapsDomain()

bool OverlapsDomain ( const Domain other) const

Definition at line 327 of file model.cc.

◆ OverlapsIntInterval()

bool OverlapsIntInterval ( int64  lb,
int64  ub 
) const

Definition at line 313 of file model.cc.

◆ OverlapsIntList()

bool OverlapsIntList ( const std::vector< int64 > &  vec) const

Definition at line 289 of file model.cc.

◆ RemoveValue()

bool RemoveValue ( int64  value)

Definition at line 339 of file model.cc.

◆ SetOfAllInt64()

Domain SetOfAllInt64 ( )
static

Definition at line 84 of file model.cc.

◆ SetOfBoolean()

Domain SetOfBoolean ( )
static

Definition at line 102 of file model.cc.

◆ SetOfIntegerList()

Domain SetOfIntegerList ( std::vector< int64 values)
static

Definition at line 78 of file model.cc.

◆ SetOfIntegerValue()

Domain SetOfIntegerValue ( int64  value)
static

Definition at line 90 of file model.cc.

◆ SetOfInterval()

Domain SetOfInterval ( int64  included_min,
int64  included_max 
)
static

Definition at line 96 of file model.cc.

◆ Value()

int64 Value ( ) const

Definition at line 255 of file model.cc.

Member Data Documentation

◆ display_as_boolean

bool display_as_boolean

Definition at line 99 of file flatzinc/model.h.

◆ is_a_set

bool is_a_set

Definition at line 101 of file flatzinc/model.h.

◆ is_interval

bool is_interval

Definition at line 98 of file flatzinc/model.h.

◆ values

std::vector<int64> values

Definition at line 97 of file flatzinc/model.h.


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