operations_research::sat::IntegerDomains Struct Reference

Detailed Description

A model singleton that holds the root level integer variable domains. we just store a single domain for both var and its negation.

Definition at line 461 of file integer_base.h.

#include <integer_base.h>

Inheritance diagram for operations_research::sat::IntegerDomains:

Additional Inherited Members
Public Types inherited from util_intops::StrongVector< PositiveOnlyIndex, Domain >
typedef std::vector< Domain, std::allocator< Domain > >	ParentType
typedef ParentType::size_type	size_type
typedef ParentType::allocator_type	allocator_type
typedef ParentType::value_type	value_type
typedef ParentType::reference	reference
typedef ParentType::const_reference	const_reference
typedef ParentType::pointer	pointer
typedef ParentType::const_pointer	const_pointer
typedef ParentType::iterator	iterator
typedef ParentType::const_iterator	const_iterator
typedef ParentType::reverse_iterator	reverse_iterator
typedef ParentType::const_reverse_iterator	const_reverse_iterator
Public Member Functions inherited from util_intops::StrongVector< PositiveOnlyIndex, Domain >
	StrongVector ()
	~StrongVector ()
const ParentType &	get () const
ParentType *	mutable_get ()
reference	operator[] (PositiveOnlyIndex i)
	– Modified methods ----------------------------------------------------—
reference	at (PositiveOnlyIndex i)
PositiveOnlyIndex	start_index () const
	– Extension methods ---------------------------------------------------—
PositiveOnlyIndex	end_index () const
bool	IsValidSize () const
	Returns true if the vector is fully addressable by the index type.
StrongIntRange< PositiveOnlyIndex >	index_range () const
value_type *	data ()
	– Pass-through methods to STL vector ----------------------------------—
StrongVector &	operator= (const StrongVector &x)
void	swap (StrongVector &x) noexcept
void	assign (size_type n, const value_type &val)
iterator	emplace (const_iterator pos, Args &&... args)
reference	emplace_back (Args &&... args)
iterator	insert (const_iterator pos, const value_type &x)
void	push_back (const value_type &val)
void	reserve (size_type n)
void	resize (size_type new_size)

---

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

• ortools/sat/integer_base.h