Classes
struct	EqHead
Public Member Functions
	ClauseWatch (ClauseHead *a_head)
	Clause watch: clause head.
Public Attributes
ClauseHead *	head

Detailed Description

Represents a clause watch in a Solver.

Definition at line 541 of file solver_types.h.

Constructor & Destructor Documentation

Clasp::ClauseWatch::ClauseWatch ( ClauseHead * a_head ) [inline, explicit]

Clause watch: clause head.

Definition at line 543 of file solver_types.h.

Definition at line 544 of file solver_types.h.

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