Clasp::SatElite::SatElite::LessOccCost Struct Reference

List of all members.

Public Member Functions
	LessOccCost (OccurList *&occ)
bool	operator() (Var v1, Var v2) const
Private Member Functions
const LessOccCost &	operator= (LessOccCost &)
Private Attributes
OccurList *&	occ_

---

Detailed Description

Definition at line 109 of file satelite.h.

---

Constructor & Destructor Documentation

Clasp::SatElite::SatElite::LessOccCost::LessOccCost

(

OccurList *&

occ

)

[inline, explicit]

Definition at line 110 of file satelite.h.

---

Member Function Documentation

bool Clasp::SatElite::SatElite::LessOccCost::operator()	(	Var	v1,
		Var	v2
	)		const [inline]

Definition at line 111 of file satelite.h.

const LessOccCost& Clasp::SatElite::SatElite::LessOccCost::operator=

(

LessOccCost &

)

[private]

---

Member Data Documentation

OccurList*& Clasp::SatElite::SatElite::LessOccCost::occ_ [private]

Definition at line 114 of file satelite.h.

---

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

• satelite.h