Clasp::ClauseHead::Data::LocalClause Struct Reference

#include <solver_types.h>

List of all members.

Public Member Functions
void	clearContracted ()
bool	contracted () const
void	init (uint32 size)
bool	isSmall () const
void	markContracted ()
void	markStrengthened ()
void	setSize (uint32 size)
uint32	size () const
bool	strengthened () const
Public Attributes
uint32	idx
uint32	sizeExt

---

Detailed Description

Definition at line 471 of file solver_types.h.

---

Member Function Documentation

void Clasp::ClauseHead::Data::LocalClause::clearContracted

(

)

[inline]

Definition at line 485 of file solver_types.h.

bool Clasp::ClauseHead::Data::LocalClause::contracted

(

)

const [inline]

Definition at line 479 of file solver_types.h.

void Clasp::ClauseHead::Data::LocalClause::init

(

uint32

size

)

[inline]

Definition at line 474 of file solver_types.h.

bool Clasp::ClauseHead::Data::LocalClause::isSmall

(

)

const [inline]

Definition at line 478 of file solver_types.h.

void Clasp::ClauseHead::Data::LocalClause::markContracted

(

)

[inline]

Definition at line 483 of file solver_types.h.

void Clasp::ClauseHead::Data::LocalClause::markStrengthened

(

)

[inline]

Definition at line 484 of file solver_types.h.

void Clasp::ClauseHead::Data::LocalClause::setSize

(

uint32

size

)

[inline]

Definition at line 482 of file solver_types.h.

uint32 Clasp::ClauseHead::Data::LocalClause::size

(

)

const [inline]

Definition at line 481 of file solver_types.h.

bool Clasp::ClauseHead::Data::LocalClause::strengthened

(

)

const [inline]

Definition at line 480 of file solver_types.h.

---

Member Data Documentation

uint32 Clasp::ClauseHead::Data::LocalClause::idx

Definition at line 473 of file solver_types.h.

uint32 Clasp::ClauseHead::Data::LocalClause::sizeExt

Definition at line 472 of file solver_types.h.

---

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

• solver_types.h