main page modules namespaces classes files
Gecode/J home

Branching
[Using finite integer sets]

Collaboration diagram for Branching:

Enumerations
enum	org::gecode.SetBvalSel {   org::gecode.SETBVAL_MIN, org::gecode.next, org::gecode.next, org::gecode.next,   org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next,   org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next,   org::gecode.next }
	Which values to select first for branching. More...
enum	org::gecode.SetBvarSel {   org::gecode.SETBVAR_NONE, org::gecode.SETBVAR_MIN_CARD, org::gecode.SETBVAR_MAX_CARD, org::gecode.SETBVAR_MIN_UNKNOWN_ELEM,   org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next,   org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next,   org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next }
	Which variable to select for branching. More...
Functions
static synchronized void	org::gecode::Gecode.branch (JavaSpace home, VarArray<?extends SetVar > arg1, SetBvarSel arg2, SetBvalSel arg3)
	Generic branching for SetVar's based on variable/value selection.

---

Enumeration Type Documentation

enum org::gecode::SetBvalSel

Which values to select first for branching.

• SETBVAL_MIN: Select smallest value in unknown set
• SETBVAL_MAX: Select largest value in unknown set

Enumerator:

SETBVAL_MIN
next
next
next
next
next
next
next
next
next
next
next
next

Definition at line 19 of file SetBvalSel.java.

enum org::gecode::SetBvarSel

Which variable to select for branching.

• SETBVAR_NONE: First unassigned
• SETBVAR_MIN_CARD: With smallest unknown set
• SETBVAR_MAX_CARD: With largest unknown set
• SETBVAR_MIN_UNKNOWN_ELEM: With smallest unknown element
• SETBVAR_MAX_UNKNOWN_ELEM: With largest unknown element

Enumerator:

SETBVAR_NONE
SETBVAR_MIN_CARD
SETBVAR_MAX_CARD
SETBVAR_MIN_UNKNOWN_ELEM
next
next
next
next
next
next
next
next
next
next
next
next

Definition at line 22 of file SetBvarSel.java.

---

Function Documentation

static synchronized void org.gecode.Gecode.branch	(	JavaSpace	home,
		VarArray<?extends SetVar >	arg1,
		SetBvarSel	arg2,
		SetBvalSel	arg3
	)			[static, inherited]

Generic branching for SetVar's based on variable/value selection.

Definition at line 2466 of file Gecode.java.