#include <FirstFailValueHeuristic.hh>
Inherits valueHeuristic.
Inheritance diagram for FirstFailValue:
Public Member Functions | |
virtual QECODE_EXPORT int ** | subSet (Implicative *home, int var, int *nbRanges) |
virtual QECODE_EXPORT | ~FirstFailValue () |
Definition at line 31 of file FirstFailValueHeuristic.hh.
virtual QECODE_EXPORT FirstFailValue::~FirstFailValue | ( | ) | [inline, virtual] |
Definition at line 34 of file FirstFailValueHeuristic.hh.
int ** FirstFailValue::subSet | ( | Implicative * | home, | |
int | var, | |||
int * | nbRanges | |||
) | [virtual] |
Implements valueHeuristic.
Definition at line 26 of file FirstFailValueHeuristic.cc.
References valueHeuristic::getBoolVar(), valueHeuristic::getIntVar(), valueHeuristic::nbSpaces(), valueHeuristic::scopeDefined(), QSpace::type_of_v, VTYPE_BOOL, VTYPE_INT, and valueHeuristic::whichSpaceOwns().