SCIL::MATCHING< Graph > Class Template Reference

The symbolic constraint for matchings.

#include <matching.h>

Inheritance diagram for SCIL::MATCHING< Graph >:

[legend]

Collaboration diagram for SCIL::MATCHING< Graph >:

[legend]

List of all members.

Public Member Functions
	MATCHING (Graph &G_, map< vertex_descriptor, int > &NC_, var_map< edge_descriptor > &VM_, bool perfect_=true)
	Constructor.
	~MATCHING ()
	Destructor.
void	init (subproblem &S)
	Adds the capacity equality constraints.
status	standard_separation (subproblem &S)
status	fast_separation (subproblem &S)
status	feasible (solution &S)
void	info ()

---

Detailed Description

template<typename Graph>
class SCIL::MATCHING< Graph >

Definition at line 23 of file matching.h.

---

Constructor & Destructor Documentation

template<typename Graph >

MATCHING::MATCHING	(	Graph &	G_,
		map< vertex_descriptor, int > &	NC_,
		var_map< edge_descriptor > &	VM_,
		bool	perfect_ = true
	)			[inline]

Ensures that the edges in X form a matching

Preconditions:

• The variables associated to the edges are binary. Parameters:
• MATCHING_Debug_Out true|false

Definition at line 17 of file matching.cc.

---

Member Function Documentation

template<typename Graph >

MATCHING< Graph >::status MATCHING::fast_separation

(

subproblem &

S

)

[inline, virtual]

The fast separation function using only a heuristic

Reimplemented from SCIL::sym_constraint.

Definition at line 394 of file matching.cc.

References SCIL::subproblem::configuration().

template<typename Graph >

MATCHING< Graph >::status MATCHING::feasible

(

solution &

S

)

[inline, virtual]

Returns true if the induced graph is a matching.

Reimplemented from SCIL::sym_constraint.

Definition at line 258 of file matching.cc.

References SCIL::subproblem::configuration().

template<typename Graph >

void MATCHING::info

(

)

[inline, virtual]

Returns information on the symbolic constraints.

Reimplemented from SCIL::sym_constraint.

Definition at line 406 of file matching.cc.

template<typename Graph >

MATCHING< Graph >::status MATCHING::standard_separation

(

subproblem &

S

)

[inline, virtual]

The main separation function

Reimplemented from SCIL::sym_constraint.

Definition at line 381 of file matching.cc.

References SCIL::subproblem::configuration().

---

The documentation for this class was generated from the following files:

• matching.h
• matching.cc