Clasp::UncoreMinimize::WCTemp Struct Reference

List of all members.

Public Types
typedef WeightLitVec	WLitVec
Public Member Functions
void	add (Solver &s, Literal p)
void	start (weight_t b)
bool	unsat () const
Public Attributes
weight_t	bound
WLitVec	lits

---

Detailed Description

Definition at line 461 of file minimize_constraint.h.

---

Member Typedef Documentation

typedef WeightLitVec Clasp::UncoreMinimize::WCTemp::WLitVec

Definition at line 462 of file minimize_constraint.h.

---

Member Function Documentation

void Clasp::UncoreMinimize::WCTemp::add	(	Solver &	s,
		Literal	p
	)

Definition at line 1357 of file minimize_constraint.cpp.

void Clasp::UncoreMinimize::WCTemp::start

(

weight_t

b

)

[inline]

Definition at line 463 of file minimize_constraint.h.

bool Clasp::UncoreMinimize::WCTemp::unsat

(

)

const [inline]

Definition at line 465 of file minimize_constraint.h.

---

Member Data Documentation

weight_t Clasp::UncoreMinimize::WCTemp::bound

Definition at line 466 of file minimize_constraint.h.

WLitVec Clasp::UncoreMinimize::WCTemp::lits

Definition at line 467 of file minimize_constraint.h.

---

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

• minimize_constraint.h
• minimize_constraint.cpp