Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Friends | List of all members
operations_research::sat::ProtoLiteral Class Reference

#include <work_assignment.h>

Public Member Functions

 ProtoLiteral ()=default
 
 ProtoLiteral (int var, IntegerValue lb)
 
ProtoLiteral Negated () const
 
bool operator== (const ProtoLiteral &other) const
 
bool operator!= (const ProtoLiteral &other) const
 
Literal Decode (CpModelMapping *, IntegerEncoder *) const
 Note you should only decode integer literals at the root level.
 

Static Public Member Functions

static std::optional< ProtoLiteral > Encode (Literal, CpModelMapping *, IntegerEncoder *)
 

Friends

template<typename H >
H AbslHashValue (H h, const ProtoLiteral &literal)
 

Detailed Description

Definition at line 54 of file work_assignment.h.

Constructor & Destructor Documentation

◆ ProtoLiteral() [1/2]

operations_research::sat::ProtoLiteral::ProtoLiteral ( )
default

◆ ProtoLiteral() [2/2]

operations_research::sat::ProtoLiteral::ProtoLiteral ( int var,
IntegerValue lb )
inline

Definition at line 57 of file work_assignment.h.

Member Function Documentation

◆ Decode()

Literal operations_research::sat::ProtoLiteral::Decode ( CpModelMapping * mapping,
IntegerEncoder * encoder ) const

Note you should only decode integer literals at the root level.

Definition at line 78 of file work_assignment.cc.

◆ Encode()

std::optional< ProtoLiteral > operations_research::sat::ProtoLiteral::Encode ( Literal literal,
CpModelMapping * mapping,
IntegerEncoder * encoder )
static

Definition at line 113 of file work_assignment.cc.

◆ Negated()

ProtoLiteral operations_research::sat::ProtoLiteral::Negated ( ) const
inline

Definition at line 58 of file work_assignment.h.

◆ operator!=()

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

Definition at line 64 of file work_assignment.h.

◆ operator==()

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

Definition at line 61 of file work_assignment.h.

Friends And Related Symbol Documentation

◆ AbslHashValue

template<typename H >
H AbslHashValue ( H h,
const ProtoLiteral & literal )
friend

Definition at line 66 of file work_assignment.h.

The documentation for this class was generated from the following files: