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

Detailed Description

Definition at line 527 of file precedences.h.

#include <precedences.h>

Public Member Functions

bool operator== (const Relation &other) const

Public Attributes

Literal enforcement
LinearExpression2 expr
IntegerValue lhs
IntegerValue rhs

Friends

template<typename Sink>
void AbslStringify (Sink &sink, const Relation &relation)

Member Function Documentation

◆ operator==()

bool operations_research::sat::Relation::operator== ( const Relation & other) const
inline

Definition at line 533 of file precedences.h.

◆ AbslStringify

template<typename Sink>
void AbslStringify ( Sink & sink,
const Relation & relation )
friend

Definition at line 539 of file precedences.h.

Member Data Documentation

◆ enforcement

Literal operations_research::sat::Relation::enforcement

Definition at line 528 of file precedences.h.

◆ expr

LinearExpression2 operations_research::sat::Relation::expr

Definition at line 529 of file precedences.h.

◆ lhs

IntegerValue operations_research::sat::Relation::lhs

Definition at line 530 of file precedences.h.

◆ rhs

IntegerValue operations_research::sat::Relation::rhs

Definition at line 531 of file precedences.h.

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