operations_research::sat::LiteralWithTrailIndex Struct Reference

Detailed Description

Definition at line 321 of file sat_base.h.

#include <sat_base.h>

Public Member Functions
	LiteralWithTrailIndex ()=default
	LiteralWithTrailIndex (Literal l, int i)

Public Attributes
Literal	literal
int	trail_index = 0

Constructor & Destructor Documentation

LiteralWithTrailIndex() [1/2]

operations_research::sat::LiteralWithTrailIndex::LiteralWithTrailIndex ( )

default

LiteralWithTrailIndex() [2/2]

operations_research::sat::LiteralWithTrailIndex::LiteralWithTrailIndex ( Literal l, int i )

inline

Definition at line 323 of file sat_base.h.

Member Data Documentation

literal

Literal operations_research::sat::LiteralWithTrailIndex::literal

Definition at line 324 of file sat_base.h.

trail_index

int operations_research::sat::LiteralWithTrailIndex::trail_index = 0

Definition at line 325 of file sat_base.h.

---

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

• ortools/sat/sat_base.h