Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::ValueLiteralPair Struct Reference

Detailed Description

Definition at line 569 of file integer_base.h.

#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)

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 584 of file integer_base.h.

Member Data Documentation

◆ literal

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

Definition at line 591 of file integer_base.h.

◆ value

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

Definition at line 590 of file integer_base.h.

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