Clasp::CCMinRecursive Struct Reference

#include <solver_types.h>

List of all members.

Public Types
typedef PodVector< uint8 >::type	DfsState
enum	State { state_open = 0, state_poison = 1, state_removable = 2 }
Public Member Functions
bool	checkRecursive (Literal p)
void	clear ()
void	init (uint32 numV)
void	markVisited (Literal p, State st)
State	state (Literal p) const
Public Attributes
LitVec	dfsStack
DfsState	extra
VarVec	visited

---

Detailed Description

Definition at line 845 of file solver_types.h.

---

Member Typedef Documentation

typedef PodVector<uint8>::type Clasp::CCMinRecursive::DfsState

Definition at line 864 of file solver_types.h.

---

Member Enumeration Documentation

enum Clasp::CCMinRecursive::State

Enumerator:

state_open
state_poison
state_removable

Definition at line 846 of file solver_types.h.

---

Member Function Documentation

bool Clasp::CCMinRecursive::checkRecursive

(

Literal

p

)

[inline]

Definition at line 849 of file solver_types.h.

void Clasp::CCMinRecursive::clear

(

)

[inline]

Definition at line 859 of file solver_types.h.

void Clasp::CCMinRecursive::init

(

uint32

numV

)

[inline]

Definition at line 847 of file solver_types.h.

void Clasp::CCMinRecursive::markVisited	(	Literal	p,
		State	st
	)		[inline]

Definition at line 853 of file solver_types.h.

State Clasp::CCMinRecursive::state

(

Literal

p

)

const [inline]

Definition at line 848 of file solver_types.h.

---

Member Data Documentation

LitVec Clasp::CCMinRecursive::dfsStack

Definition at line 865 of file solver_types.h.

DfsState Clasp::CCMinRecursive::extra

Definition at line 867 of file solver_types.h.

VarVec Clasp::CCMinRecursive::visited

Definition at line 866 of file solver_types.h.

---

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

• solver_types.h