operations_research::sat::ValueLiteralPair Struct Reference

A value and a literal. More...

#include <integer_base.h>

Classes
struct	CompareByLiteral
struct	CompareByValue

Public Member Functions
bool	operator== (const ValueLiteralPair &o) const
std::string	DebugString () const

Public Attributes
IntegerValue	value = IntegerValue(0)
Literal	literal = Literal(kNoLiteralIndex)

Detailed Description

A value and a literal.

Definition at line 364 of file integer_base.h.

Member Function Documentation

DebugString()

std::string operations_research::sat::ValueLiteralPair::DebugString

(

)

const

Definition at line 61 of file integer.cc.

operator==()

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

inline

Definition at line 379 of file integer_base.h.

Member Data Documentation

literal

Literal operations_research::sat::ValueLiteralPair::literal = Literal(kNoLiteralIndex)

Definition at line 386 of file integer_base.h.

value

IntegerValue operations_research::sat::ValueLiteralPair::value = IntegerValue(0)

Definition at line 385 of file integer_base.h.

---

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

• ortools/sat/integer_base.h
• ortools/sat/integer.cc