Domain

Detailed Description

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

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

Static Public Member Functions
static Domain	IntegerList (std::vector< int64_t > values)
static Domain	AllInt64 ()
static Domain	IntegerValue (int64_t value)
static Domain	Interval (int64_t included_min, int64_t included_max)
static Domain	Boolean ()
static Domain	SetOfIntegerList (std::vector< int64_t > values)
static Domain	SetOfAllInt64 ()
static Domain	SetOfIntegerValue (int64_t value)
static Domain	SetOfInterval (int64_t included_min, int64_t included_max)
static Domain	SetOfBoolean ()
static Domain	EmptyDomain ()
static Domain	AllFloats ()
static Domain	FloatValue (double value)
static Domain	FloatInterval (double lb, double ub)

Public Attributes
std::vector< int64_t >	values
bool	is_interval = false
bool	display_as_boolean = false
bool	is_a_set = false
bool	is_float = false
std::vector< double >	float_values

Member Function Documentation

AllFloats()

Domain AllFloats ( )

static

Definition at line 103 of file flatzinc/model.cc.

AllInt64()

Domain AllInt64 ( )

static

Definition at line 43 of file flatzinc/model.cc.

Boolean()

Domain Boolean ( )

static

Definition at line 63 of file flatzinc/model.cc.

Contains()

bool Contains

(

int64_t

value

)

const

Definition at line 359 of file flatzinc/model.cc.

DebugString()

std::string DebugString

(

)

const

Definition at line 464 of file flatzinc/model.cc.

empty()

bool empty

(

)

const

Definition at line 331 of file flatzinc/model.cc.

EmptyDomain()

Domain EmptyDomain ( )

static

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

FloatInterval()

Domain FloatInterval ( double  lb, double  ub  )

static

Definition at line 110 of file flatzinc/model.cc.

FloatValue()

Domain FloatValue ( double  value )

static

Definition at line 118 of file flatzinc/model.cc.

HasOneValue()

bool HasOneValue

(

)

const

Definition at line 327 of file flatzinc/model.cc.

IntegerList()

Domain IntegerList ( std::vector< int64_t >  values )

static

Definition at line 36 of file flatzinc/model.cc.

IntegerValue()

Domain IntegerValue ( int64_t  value )

static

Definition at line 49 of file flatzinc/model.cc.

IntersectWithDomain()

bool IntersectWithDomain

(

const Domain &

domain

)

Definition at line 125 of file flatzinc/model.cc.

IntersectWithFloatDomain()

bool IntersectWithFloatDomain

(

const Domain &

domain

)

Definition at line 250 of file flatzinc/model.cc.

IntersectWithInterval()

bool IntersectWithInterval	(	int64_t	interval_min,
		int64_t	interval_max
	)

Definition at line 155 of file flatzinc/model.cc.

IntersectWithListOfIntegers()

bool IntersectWithListOfIntegers

(

const std::vector< int64_t > &

integers

)

Definition at line 203 of file flatzinc/model.cc.

IntersectWithSingleton()

bool IntersectWithSingleton

(

int64_t

value

)

Definition at line 151 of file flatzinc/model.cc.

Interval()

Domain Interval ( int64_t  included_min, int64_t  included_max  )

static

Definition at line 55 of file flatzinc/model.cc.

IsAllInt64()

bool IsAllInt64

(

)

const

Definition at line 353 of file flatzinc/model.cc.

Max()

int64_t Max

(

)

const

Definition at line 342 of file flatzinc/model.cc.

Min()

int64_t Min

(

)

const

Definition at line 336 of file flatzinc/model.cc.

OverlapsDomain()

bool OverlapsDomain

(

const Domain &

other

)

const

Definition at line 421 of file flatzinc/model.cc.

OverlapsIntInterval()

bool OverlapsIntInterval	(	int64_t	lb,
		int64_t	ub
	)		const

Definition at line 407 of file flatzinc/model.cc.

OverlapsIntList()

bool OverlapsIntList

(

const std::vector< int64_t > &

vec

)

const

Definition at line 383 of file flatzinc/model.cc.

RemoveValue()

bool RemoveValue

(

int64_t

value

)

Definition at line 433 of file flatzinc/model.cc.

SetEmptyFloatDomain()

bool SetEmptyFloatDomain

(

)

Definition at line 320 of file flatzinc/model.cc.

SetOfAllInt64()

Domain SetOfAllInt64 ( )

static

Definition at line 77 of file flatzinc/model.cc.

SetOfBoolean()

Domain SetOfBoolean ( )

static

Definition at line 95 of file flatzinc/model.cc.

SetOfIntegerList()

Domain SetOfIntegerList ( std::vector< int64_t >  values )

static

Definition at line 71 of file flatzinc/model.cc.

SetOfIntegerValue()

Domain SetOfIntegerValue ( int64_t  value )

static

Definition at line 83 of file flatzinc/model.cc.

SetOfInterval()

Domain SetOfInterval ( int64_t  included_min, int64_t  included_max  )

static

Definition at line 89 of file flatzinc/model.cc.

Value()

int64_t Value

(

)

const

Definition at line 348 of file flatzinc/model.cc.

Member Data Documentation

display_as_boolean

bool display_as_boolean = false

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

float_values

std::vector<double> float_values

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

is_a_set

bool is_a_set = false

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

is_float

bool is_float = false

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

is_interval

bool is_interval = false

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

values

std::vector<int64_t> values

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

---

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

• flatzinc/model.h
• flatzinc/model.cc