operations_research::sat::Literal Class Reference

Detailed Description

Definition at line 67 of file sat_base.h.

#include <sat_base.h>

Public Member Functions
	Literal (int signed_value)
	Literal ()=default
	Literal (LiteralIndex index)
	Literal (BooleanVariable variable, bool is_positive)
	operator LiteralIndex () const
BooleanVariable	Variable () const
bool	IsPositive () const
bool	IsNegative () const
LiteralIndex	Index () const
LiteralIndex	NegatedIndex () const
int	SignedValue () const
Literal	Negated () const
std::string	DebugString () const
bool	operator== (Literal other) const
bool	operator!= (Literal other) const
bool	operator< (const Literal &other) const

Friends
template<typename H>
H	AbslHashValue (H h, Literal literal)

Constructor & Destructor Documentation

Literal() [1/4]

operations_research::sat::Literal::Literal ( int signed_value )

inlineexplicit

Definition at line 69 of file sat_base.h.

Literal() [2/4]

operations_research::sat::Literal::Literal ( )

default

Literal() [3/4]

operations_research::sat::Literal::Literal ( LiteralIndex index )

inlineexplicit

Definition at line 76 of file sat_base.h.

Literal() [4/4]

operations_research::sat::Literal::Literal ( BooleanVariable variable, bool is_positive )

inline

Definition at line 77 of file sat_base.h.

Member Function Documentation

DebugString()

std::string operations_research::sat::Literal::DebugString ( ) const

inline

Definition at line 101 of file sat_base.h.

Index()

LiteralIndex operations_research::sat::Literal::Index ( ) const

inline

Definition at line 92 of file sat_base.h.

IsNegative()

bool operations_research::sat::Literal::IsNegative ( ) const

inline

Definition at line 90 of file sat_base.h.

IsPositive()

bool operations_research::sat::Literal::IsPositive ( ) const

inline

Definition at line 89 of file sat_base.h.

Negated()

Literal operations_research::sat::Literal::Negated ( ) const

inline

Definition at line 99 of file sat_base.h.

NegatedIndex()

LiteralIndex operations_research::sat::Literal::NegatedIndex ( ) const

inline

Definition at line 93 of file sat_base.h.

operator LiteralIndex()

operations_research::sat::Literal::operator LiteralIndex ( ) const

inline

Definition at line 86 of file sat_base.h.

operator!=()

bool operations_research::sat::Literal::operator!= ( Literal other ) const

inline

Definition at line 107 of file sat_base.h.

operator<()

bool operations_research::sat::Literal::operator< ( const Literal & other ) const

inline

Definition at line 108 of file sat_base.h.

operator==()

bool operations_research::sat::Literal::operator== ( Literal other ) const

inline

Definition at line 106 of file sat_base.h.

SignedValue()

int operations_research::sat::Literal::SignedValue ( ) const

inline

Definition at line 95 of file sat_base.h.

Variable()

BooleanVariable operations_research::sat::Literal::Variable ( ) const

inline

Definition at line 88 of file sat_base.h.

Friends And Related Symbol Documentation

AbslHashValue

template<typename H>

H AbslHashValue ( H h, Literal literal )

friend

Definition at line 111 of file sat_base.h.

---

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

• ortools/sat/sat_base.h