Main Page | Class Hierarchy | Class List | File List | Class Members

Impact Class Reference

#include <Impact.h>

Inheritance diagram for Impact:

VariableOH OrderingHeuristic List of all members.

Public Types

enum  Preference { Minimum, Maximum }

Public Member Functions

 Impact (Decomposition &decomposition, const vector< pair< double, double > > &intervals, double quality=1, Preference preference=Maximum, bool dynamic=false)
 ~Impact ()
 Destructor.
virtual void init (const vlist_type &)
 Heuristic re-initialization.
virtual void done ()
 Clean up the work done by `init()'.
virtual void select (vlist_type &selectable, vlist_type &selected)

Detailed Description

This variable ordering heuristic should select the variables with the highest/lowest conflict count (over all their values).


Member Enumeration Documentation

enum Impact::Preference
 

Enumeration values:
Minimum  Prefer the variables with the minimum impact.
Maximum  Prefer the variables with the maximum impact.


Constructor & Destructor Documentation

Impact::Impact Decomposition decomposition,
const vector< pair< double, double > > &  intervals,
double  quality = 1,
Preference  preference = Maximum,
bool  dynamic = false
 

Constructor.

Parameters:
decomposition the decomposition using this heuristic.
intervals the depth intervals where the heuristic is active; if no intervals are given, the heuristic is always active.
quality the heuristic's quality, in the [0-1] range.
preference the impact preference.
dynamic `true' if the total conflict counts are to be computed dynamically, `false' otherwise.


Member Function Documentation

void Impact::select vlist_type &  selectable,
vlist_type &  selected
[virtual]
 

Select the variables with the best impact, according to the current preference.

Parameters:
selectable the list of variables to select from.
selected selected variables should be moved here.

Implements VariableOH.


The documentation for this class was generated from the following files:
Generated on Wed May 25 12:21:19 2005 for csp.kdevelop by  doxygen 1.3.9.1