operations_research::sat::GlobalTrailIndex Struct Reference

Detailed Description

Definition at line 485 of file integer.h.

#include <integer.h>

Public Member Functions
bool	IsBoolean () const
bool	IsInteger () const
bool	operator< (const GlobalTrailIndex &o) const
bool	operator== (const GlobalTrailIndex &o) const
bool	operator<= (const GlobalTrailIndex &o) const
bool	operator>= (const GlobalTrailIndex &o) const
bool	operator> (const GlobalTrailIndex &o) const

Public Attributes
int	level
int	bool_index
int	integer_index = kNoIntegerIndex

Static Public Attributes
static constexpr int	kNoIntegerIndex = std::numeric_limits<int>::max()

Member Function Documentation

IsBoolean()

bool operations_research::sat::GlobalTrailIndex::IsBoolean ( ) const

inline

Definition at line 492 of file integer.h.

IsInteger()

bool operations_research::sat::GlobalTrailIndex::IsInteger ( ) const

inline

Definition at line 493 of file integer.h.

operator<()

bool operations_research::sat::GlobalTrailIndex::operator< ( const GlobalTrailIndex & o ) const

inline

Definition at line 497 of file integer.h.

operator<=()

bool operations_research::sat::GlobalTrailIndex::operator<= ( const GlobalTrailIndex & o ) const

inline

Definition at line 508 of file integer.h.

operator==()

bool operations_research::sat::GlobalTrailIndex::operator== ( const GlobalTrailIndex & o ) const

inline

Definition at line 503 of file integer.h.

operator>()

bool operations_research::sat::GlobalTrailIndex::operator> ( const GlobalTrailIndex & o ) const

inline

Definition at line 514 of file integer.h.

operator>=()

bool operations_research::sat::GlobalTrailIndex::operator>= ( const GlobalTrailIndex & o ) const

inline

Definition at line 512 of file integer.h.

Member Data Documentation

bool_index

int operations_research::sat::GlobalTrailIndex::bool_index

Definition at line 489 of file integer.h.

integer_index

int operations_research::sat::GlobalTrailIndex::integer_index = kNoIntegerIndex

Definition at line 490 of file integer.h.

kNoIntegerIndex

int operations_research::sat::GlobalTrailIndex::kNoIntegerIndex = std::numeric_limits<int>::max()

staticconstexpr

Definition at line 486 of file integer.h.

level

int operations_research::sat::GlobalTrailIndex::level

Definition at line 488 of file integer.h.

---

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

• ortools/sat/integer.h