Clasp::ClauseHead::Info Union Reference

#include <solver_types.h>

List of all members.

Public Member Functions
	Info ()
	Info (const ClauseInfo &i)
Public Attributes
struct {
uint32   act: 15
uint32   key: 10
uint32   lbd: 5
uint32   type: 2
}	data
uint32	rep

---

Detailed Description

Definition at line 489 of file solver_types.h.

---

Constructor & Destructor Documentation

Clasp::ClauseHead::Info::Info

(

)

[inline]

Definition at line 490 of file solver_types.h.

Clasp::ClauseHead::Info::Info

(

const ClauseInfo &

i

)

[explicit]

Definition at line 81 of file solver_types.cpp.

---

Member Data Documentation

uint32 Clasp::ClauseHead::Info::act

Definition at line 493 of file solver_types.h.

struct { ... } Clasp::ClauseHead::Info::data

uint32 Clasp::ClauseHead::Info::key

Definition at line 494 of file solver_types.h.

uint32 Clasp::ClauseHead::Info::lbd

Definition at line 495 of file solver_types.h.

uint32 Clasp::ClauseHead::Info::rep

Definition at line 498 of file solver_types.h.

uint32 Clasp::ClauseHead::Info::type

Definition at line 496 of file solver_types.h.

---

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

• solver_types.h
• solver_types.cpp