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

Detailed Description

Definition at line 58 of file integer.h.

#include <integer.h>

Public Member Functions

bool operator== (const LiteralValueValue &rhs) const
std::string DebugString () const

Public Attributes

Literal literal
IntegerValue left_value
IntegerValue right_value

Member Function Documentation

◆ DebugString()

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

Definition at line 69 of file integer.h.

◆ operator==()

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

Definition at line 64 of file integer.h.

Member Data Documentation

◆ left_value

IntegerValue operations_research::sat::LiteralValueValue::left_value

Definition at line 60 of file integer.h.

◆ literal

Literal operations_research::sat::LiteralValueValue::literal

Definition at line 59 of file integer.h.

◆ right_value

IntegerValue operations_research::sat::LiteralValueValue::right_value

Definition at line 61 of file integer.h.

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