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::LiteralWithCoeff Struct Reference

Represents a term in a pseudo-Boolean formula. More...

#include <pb_constraint.h>

Public Member Functions

 LiteralWithCoeff ()=default
 
 LiteralWithCoeff (Literal l, Coefficient c)
 
 LiteralWithCoeff (Literal l, int64_t c)
 
bool operator== (const LiteralWithCoeff &other) const
 

Public Attributes

Literal literal
 
Coefficient coefficient
 

Detailed Description

Represents a term in a pseudo-Boolean formula.

Definition at line 52 of file pb_constraint.h.

Constructor & Destructor Documentation

◆ LiteralWithCoeff() [1/3]

operations_research::sat::LiteralWithCoeff::LiteralWithCoeff ( )
default

◆ LiteralWithCoeff() [2/3]

operations_research::sat::LiteralWithCoeff::LiteralWithCoeff ( Literal l,
Coefficient c )
inline

Definition at line 54 of file pb_constraint.h.

◆ LiteralWithCoeff() [3/3]

operations_research::sat::LiteralWithCoeff::LiteralWithCoeff ( Literal l,
int64_t c )
inline

Definition at line 55 of file pb_constraint.h.

Member Function Documentation

◆ operator==()

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

Definition at line 58 of file pb_constraint.h.

Member Data Documentation

◆ coefficient

Coefficient operations_research::sat::LiteralWithCoeff::coefficient

Definition at line 57 of file pb_constraint.h.

◆ literal

Literal operations_research::sat::LiteralWithCoeff::literal

Definition at line 56 of file pb_constraint.h.

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