Clasp::ClauseRep Struct Reference

Primitive representation of a clause. More...

#include <solver_types.h>

List of all members.

Public Member Functions
	ClauseRep (Literal *cl=0, uint32 sz=0, bool p=false, const ClauseInfo &i=ClauseInfo())
bool	isImp () const
Static Public Member Functions
static ClauseRep	create (Literal *cl, uint32 sz, const ClauseInfo &i=ClauseInfo())
static ClauseRep	prepared (Literal *cl, uint32 sz, const ClauseInfo &i=ClauseInfo())
Public Attributes
ClauseInfo	info
Literal *	lits
uint32	prep: 1
uint32	size:31

---

Detailed Description

Primitive representation of a clause.

Definition at line 388 of file solver_types.h.

---

Constructor & Destructor Documentation

Clasp::ClauseRep::ClauseRep	(	Literal *	cl = 0,
		uint32	sz = 0,
		bool	p = false,
		const ClauseInfo &	i = ClauseInfo()
	)		[inline]

Definition at line 391 of file solver_types.h.

---

Member Function Documentation

static ClauseRep Clasp::ClauseRep::create	(	Literal *	cl,
		uint32	sz,
		const ClauseInfo &	i = ClauseInfo()
	)		[inline, static]

Definition at line 389 of file solver_types.h.

bool Clasp::ClauseRep::isImp

(

)

const [inline]

Definition at line 396 of file solver_types.h.

static ClauseRep Clasp::ClauseRep::prepared	(	Literal *	cl,
		uint32	sz,
		const ClauseInfo &	i = ClauseInfo()
	)		[inline, static]

Definition at line 390 of file solver_types.h.

---

Member Data Documentation

ClauseInfo Clasp::ClauseRep::info

Additional clause info.

Definition at line 392 of file solver_types.h.

Literal* Clasp::ClauseRep::lits

Pointer to array of literals (not owned!).

Definition at line 395 of file solver_types.h.

uint32 Clasp::ClauseRep::prep

Whether lits is already prepared.

Definition at line 394 of file solver_types.h.

uint32 Clasp::ClauseRep::size

Size of array of literals.

Definition at line 393 of file solver_types.h.

---

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

• solver_types.h