51 int iv =
i(), nv =
n();
52 if ((
n() <
nodes()) && (iv == nv)) {
54 }
else if ((
n() <
nodes()) && (iv > nv)) {
void excl(int i)
Exclude node i.
int nodes(void) const
Return number of nodes.
Node * node
The nodes in the graph.
ExecStatus clique(void)
Report the current clique.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Clique cur
Current clique.
bool none(unsigned int sz) const
Test whether no bits are set.
ExecStatus bk(NodeSet &p, NodeSet &x)
Run Bosch-Kerbron algorithm for finding max cliques.
void incl(int i)
Include node i.
Node * x
Pointer to corresponding Boolean expression node.
void allocate(Region &r, int n)
Allocate node set for n nodes.
Gecode toplevel namespace
int pivot(const NodeSet &a, const NodeSet &b) const
Find a pivot node with maximal degree from a or b.
void incl(int i, unsigned int w)
Include node i with weight w.
void excl(int i, unsigned int w)
Exclude node i with weight w.
static bool iwn(NodeSet &iwa, const NodeSet &a, NodeSet &iwb, const NodeSet &b, const NodeSet &c, int n)