Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Classes | Public Member Functions | Public Attributes | List of all members
operations_research::sat::ValueLiteralPair Struct Reference

A value and a literal. More...

#include <integer.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 399 of file integer.h.

Member Function Documentation

◆ DebugString()

std::string operations_research::sat::ValueLiteralPair::DebugString ( ) const

Definition at line 60 of file integer.cc.

◆ operator==()

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

Definition at line 414 of file integer.h.

Member Data Documentation

◆ literal

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

Definition at line 421 of file integer.h.

◆ value

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

Definition at line 420 of file integer.h.

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