Clasp::DefaultUnfoundedCheck::MinimalityCheck Struct Reference

List of all members.

Public Types
typedef SolveParams::FwdCheck	FwdCheck
Public Member Functions
	MinimalityCheck (const FwdCheck &fwd)
bool	partialCheck (uint32 level)
void	schedNext (uint32 level, bool ok)
Public Attributes
FwdCheck	fwd
uint32	high
uint32	low
uint32	next

---

Detailed Description

Definition at line 159 of file unfounded_check.h.

---

Member Typedef Documentation

typedef SolveParams::FwdCheck Clasp::DefaultUnfoundedCheck::MinimalityCheck::FwdCheck

Definition at line 160 of file unfounded_check.h.

---

Constructor & Destructor Documentation

Clasp::DefaultUnfoundedCheck::MinimalityCheck::MinimalityCheck

(

const FwdCheck &

fwd

)

[explicit]

Definition at line 732 of file unfounded_check.cpp.

---

Member Function Documentation

bool Clasp::DefaultUnfoundedCheck::MinimalityCheck::partialCheck

(

uint32

level

)

Definition at line 737 of file unfounded_check.cpp.

void Clasp::DefaultUnfoundedCheck::MinimalityCheck::schedNext	(	uint32	level,
		bool	ok
	)

Definition at line 745 of file unfounded_check.cpp.

---

Member Data Documentation

FwdCheck Clasp::DefaultUnfoundedCheck::MinimalityCheck::fwd

Definition at line 164 of file unfounded_check.h.

uint32 Clasp::DefaultUnfoundedCheck::MinimalityCheck::high

Definition at line 165 of file unfounded_check.h.

uint32 Clasp::DefaultUnfoundedCheck::MinimalityCheck::low

Definition at line 166 of file unfounded_check.h.

uint32 Clasp::DefaultUnfoundedCheck::MinimalityCheck::next

Definition at line 167 of file unfounded_check.h.

---

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

• unfounded_check.h
• unfounded_check.cpp