104 template<
class Char,
class Traits>
105 std::basic_ostream<Char,Traits>&
106 operator <<(std::basic_ostream<Char,Traits>& os,
131 if ((d < 0.0) || (d > 1.0))
133 static_cast<Space&
>(home).afc_decay(d);
139 if ((d < 0.0) || (d > 1.0))
141 static_cast<Space&
>(home).afc_decay(d);
163 if ((d < 0.0) || (d > 1.0))
179 template<
class Char,
class Traits>
180 std::basic_ostream<Char,Traits>&
181 operator <<(std::basic_ostream<Char,Traits>& os,
184 return os <<
"AFC(no information available)";
void afc_set(double a)
Reset AFC to a.
int size(void) const
Return size of array (number of elements)
bool initialized(void) const
Test whether already initialized.
void init(Home home, const VarArgArray< Var > &x, double d)
Initialize for views x and decay factor d.
void set(Space &home, double a=1.0)
Set AFC information to a.
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 n
Number of negative literals for node type.
unsigned int size(I &i)
Size of all ranges of range iterator i.
#define GECODE_KERNEL_EXPORT
int size(void) const
Return number of AFC values.
Node * x
Pointer to corresponding Boolean expression node.
void decay(Space &home, double d)
Set decay factor to d.
static const AFC def
Default (empty) AFC information.
Gecode toplevel namespace
Argument array for variables.
void update(Space &home, bool share, AFC &a)
Updating during cloning.
AFC & operator=(const AFC &a)
Assignment operator.
Exception: illegal decay factor
Home class for posting propagators
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.