LiteralWatchers::Watcher

Detailed Description

Definition at line 290 of file clause.h.

Public Member Functions
	Watcher ()
	Watcher (SatClause *c, Literal b, int i=2)

Public Attributes
Literal	blocking_literal
int32_t	start_index
SatClause *	clause

Constructor & Destructor Documentation

Watcher() [1/2]

Watcher ( )

inline

Definition at line 291 of file clause.h.

Watcher() [2/2]

Watcher ( SatClause *  c, Literal  b, int  i = 2  )

inline

Definition at line 292 of file clause.h.

Member Data Documentation

blocking_literal

Literal blocking_literal

Definition at line 297 of file clause.h.

clause

SatClause* clause

Definition at line 310 of file clause.h.

start_index

int32_t start_index

Definition at line 308 of file clause.h.

---

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

• clause.h