Package frodo2.algorithms.varOrdering.linear

Algorithms to produce linear variable orderings. More...

Packages
package	tests
	Unit tests for SynchBB.

Classes
class	CentralLinearOrdering
	Creates a linear ordering among variables. More...
class	LinearOrdering
	Distributed algorithm to compute one variable linear ordering per connected component in the constraint graph. More...
class	NextVarMsg
	A message containing the next variable chosen for a given component. More...
class	OrderMsg
	A message containing a linear order on all variables belonging to a given connected component of the constraint graph. More...
class	ProposalMsg
	A message containing a proposal for the next variable to put in the order. More...
class	RequestMsg
	A message requesting a proposal for the next variable to put in the order. More...

Detailed Description

Algorithms to produce linear variable orderings.