operations_research::sat::BooleanOrIntegerLiteral Struct Reference

#include <integer_search.h>

Public Member Functions
	BooleanOrIntegerLiteral ()=default
	BooleanOrIntegerLiteral (LiteralIndex index)
	BooleanOrIntegerLiteral (IntegerLiteral i_lit)
bool	HasValue () const

Public Attributes
LiteralIndex	boolean_literal_index = kNoLiteralIndex
IntegerLiteral	integer_literal = IntegerLiteral()

Detailed Description

This is used to hold the next decision the solver will take. It is either a pure Boolean literal decision or correspond to an IntegerLiteral one.

At most one of the two options should be set.

Definition at line 56 of file integer_search.h.

Constructor & Destructor Documentation

BooleanOrIntegerLiteral() [1/3]

operations_research::sat::BooleanOrIntegerLiteral::BooleanOrIntegerLiteral ( )

default

BooleanOrIntegerLiteral() [2/3]

operations_research::sat::BooleanOrIntegerLiteral::BooleanOrIntegerLiteral ( LiteralIndex index )

inlineexplicit

Definition at line 58 of file integer_search.h.

BooleanOrIntegerLiteral() [3/3]

operations_research::sat::BooleanOrIntegerLiteral::BooleanOrIntegerLiteral ( IntegerLiteral i_lit )

inlineexplicit

Definition at line 60 of file integer_search.h.

Member Function Documentation

HasValue()

bool operations_research::sat::BooleanOrIntegerLiteral::HasValue ( ) const

inline

Definition at line 63 of file integer_search.h.

Member Data Documentation

boolean_literal_index

LiteralIndex operations_research::sat::BooleanOrIntegerLiteral::boolean_literal_index = kNoLiteralIndex

Definition at line 68 of file integer_search.h.

integer_literal

IntegerLiteral operations_research::sat::BooleanOrIntegerLiteral::integer_literal = IntegerLiteral()

Definition at line 69 of file integer_search.h.

---

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

• ortools/sat/integer_search.h