operations_research::sat::LiteralValueValue Struct Reference

Detailed Description

Definition at line 55 of file integer.h.

#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

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:

• ortools/sat/integer.h