80 operator bool(
void)
const;
107 template<
class Char,
class Traits>
108 std::basic_ostream<Char,Traits>&
109 operator <<(std::basic_ostream<Char,Traits>& os,
126 AFC::operator bool(
void)
const {
134 if ((d < 0.0) || (d > 1.0))
136 static_cast<Space&
>(home).afc_decay(d);
138 static_cast<Space&
>(home).afc_unshare();
144 if ((d < 0.0) || (d > 1.0))
146 static_cast<Space&
>(home).afc_decay(d);
148 static_cast<Space&
>(home).afc_unshare();
165 if ((d < 0.0) || (d > 1.0))
176 template<
class Char,
class Traits>
177 std::basic_ostream<Char,Traits>&
178 operator <<(std::basic_ostream<Char,Traits>& os,
181 return os <<
"AFC(no information available)";
int size(void) const
Return size of array (number of elements)
void init(Home home, const VarArgArray< Var > &x, double d, bool share=true)
Initialize for variables x and decay factor d.
void afc_decay(double d)
Set AFC decay factor to d
AFC(void)
Construct as not yet intialized.
Class for AFC (accumulated failure count) management.
int size(void) const
Return number of AFC values.
#define GECODE_KERNEL_EXPORT
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
void decay(Space &home, double d)
Set decay factor to d.
static const AFC def
Default (empty) AFC information.
Post propagator for SetVar x
Gecode toplevel namespace
Argument array for variables.
AFC & operator=(const AFC &a)
Assignment operator.
Exception: illegal decay factor
Home class for posting propagators