Classes
struct	Compare
Public Member Functions
int	compare (Var v1, Var v2)
uint32	decayedScore (Var v)
void	inc (Literal p)
void	inc (Literal p, uint16 f)
void	incOcc (Literal p)
int32	occ (Var v) const
	Order (bool scoreHuang, bool scoreOnce)
void	resetDecay ()
Public Attributes
uint32	decay
bool	huang
bool	once
Scores	score
Private Member Functions
Order &	operator= (const Order &)
	Order (const Order &)

Detailed Description

Definition at line 120 of file heuristics.h.

Constructor & Destructor Documentation

Clasp::ClaspBerkmin::Order::Order	(	bool	scoreHuang,
		bool	scoreOnce
	)		`[inline, explicit]`

Definition at line 121 of file heuristics.h.

Clasp::ClaspBerkmin::Order::Order ( const Order & ) [private]

int Clasp::ClaspBerkmin::Order::compare	(	Var	v1,
		Var	v2
	)		`[inline]`

Definition at line 138 of file heuristics.h.

uint32 Clasp::ClaspBerkmin::Order::decayedScore ( Var v ) [inline]

Definition at line 130 of file heuristics.h.

void Clasp::ClaspBerkmin::Order::inc ( Literal p ) [inline]

Definition at line 132 of file heuristics.h.

void Clasp::ClaspBerkmin::Order::inc	(	Literal	p,
		uint16	f
	)		`[inline]`

Definition at line 133 of file heuristics.h.

void Clasp::ClaspBerkmin::Order::incOcc ( Literal p ) [inline]

Definition at line 134 of file heuristics.h.

int32 Clasp::ClaspBerkmin::Order::occ ( Var v ) const [inline]

Definition at line 131 of file heuristics.h.

Order& Clasp::ClaspBerkmin::Order::operator= ( const Order & ) [private]

void Clasp::ClaspBerkmin::Order::resetDecay ( )

Definition at line 321 of file heuristics.cpp.

Definition at line 143 of file heuristics.h.

Definition at line 144 of file heuristics.h.

Definition at line 145 of file heuristics.h.

Definition at line 142 of file heuristics.h.

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