Clasp::ClauseHead::Data Union Reference

#include <solver_types.h>

List of all members.

Classes
struct	LocalClause
Public Attributes
uint32	lits [2]
struct Clasp::ClauseHead::Data::LocalClause	local
SharedLiterals *	shared

---

Detailed Description

Definition at line 469 of file solver_types.h.

---

Member Data Documentation

uint32 Clasp::ClauseHead::Data::lits[2]

Definition at line 487 of file solver_types.h.

struct Clasp::ClauseHead::Data::LocalClause Clasp::ClauseHead::Data::local

SharedLiterals* Clasp::ClauseHead::Data::shared

Definition at line 470 of file solver_types.h.

---

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

• solver_types.h