Google OR-Tools v9.12
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 55 of file integer.h.

Member Function Documentation

◆ DebugString()

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

Definition at line 66 of file integer.h.

◆ operator==()

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

Used for testing.

Definition at line 61 of file integer.h.

Member Data Documentation

◆ left_value

IntegerValue operations_research::sat::LiteralValueValue::left_value

Definition at line 57 of file integer.h.

◆ literal

Literal operations_research::sat::LiteralValueValue::literal

Definition at line 56 of file integer.h.

◆ right_value

IntegerValue operations_research::sat::LiteralValueValue::right_value

Definition at line 58 of file integer.h.

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