Detailed Description

Definition at line 418 of file integer.h.

#include <integer.h>

Public Member Functions
void	clear ()
bool	empty () const

Public Attributes
absl::Span< const Literal >	boolean_literals_at_true
absl::Span< const Literal >	boolean_literals_at_false
absl::Span< const IntegerLiteral >	integer_literals
int	index_at_propagation
IntegerValue	slack
IntegerLiteral	propagated_i_lit
absl::Span< const IntegerVariable >	vars
absl::Span< const IntegerValue >	coeffs

Member Function Documentation

◆ clear()

void operations_research::sat::IntegerReason::clear ( )

inline

Definition at line 419 of file integer.h.

◆ empty()

bool operations_research::sat::IntegerReason::empty ( ) const

inline

Definition at line 430 of file integer.h.

Member Data Documentation

◆ boolean_literals_at_false

absl::Span<const Literal> operations_research::sat::IntegerReason::boolean_literals_at_false

Definition at line 441 of file integer.h.

◆ boolean_literals_at_true

absl::Span<const Literal> operations_research::sat::IntegerReason::boolean_literals_at_true

Definition at line 440 of file integer.h.

◆ coeffs

absl::Span<const IntegerValue> operations_research::sat::IntegerReason::coeffs

Definition at line 457 of file integer.h.

◆ index_at_propagation

int operations_research::sat::IntegerReason::index_at_propagation

Definition at line 453 of file integer.h.

◆ integer_literals

absl::Span<const IntegerLiteral> operations_research::sat::IntegerReason::integer_literals

Definition at line 442 of file integer.h.

◆ propagated_i_lit

IntegerLiteral operations_research::sat::IntegerReason::propagated_i_lit

Definition at line 455 of file integer.h.

◆ slack

IntegerValue operations_research::sat::IntegerReason::slack

Definition at line 454 of file integer.h.

◆ vars

absl::Span<const IntegerVariable> operations_research::sat::IntegerReason::vars

Definition at line 456 of file integer.h.

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

ortools/sat/integer.h