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

#include <integer.h>

Public Member Functions

bool operator== (const LiteralValueValue &rhs) const
 Used for testing.
 
std::string DebugString () const
 

Public Attributes

Literal literal
 
IntegerValue left_value
 
IntegerValue right_value
 

Detailed Description

Definition at line 426 of file integer.h.

Member Function Documentation

◆ DebugString()

std::string operations_research::sat::LiteralValueValue::DebugString ( ) const
inline

Definition at line 437 of file integer.h.

◆ operator==()

bool operations_research::sat::LiteralValueValue::operator== ( const LiteralValueValue & rhs) const
inline

Used for testing.

Definition at line 432 of file integer.h.

Member Data Documentation

◆ left_value

IntegerValue operations_research::sat::LiteralValueValue::left_value

Definition at line 428 of file integer.h.

◆ literal

Literal operations_research::sat::LiteralValueValue::literal

Definition at line 427 of file integer.h.

◆ right_value

IntegerValue operations_research::sat::LiteralValueValue::right_value

Definition at line 429 of file integer.h.

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