ibex::HC4 Class Reference
[Contractors]

HC4 propagation. More...

#include <IbexHC4.h>

Inheritance diagram for ibex::HC4:

List of all members.

Public Member Functions
	HC4 (const System &sys, REAL ratio=default_ratio, bool incremental=false)
	HC4 (const HC4 &hc4)
HC4 *	copy () const
virtual void	accept_printer (const OperatorPrinter &op) const

---

Detailed Description

HC4 propagation.

Author:

Gilles Chabert

Date:

April 2009

---

Constructor & Destructor Documentation

ibex::HC4::HC4	(	const System &	sys,
		REAL	ratio = default_ratio,
		bool	incremental = false
	)

Create a HC4 propagation with a system of constraints.

Parameters:

	sys	- The system
	ratio	(optional) -

See also:

ibex::Propagation

Parameters:

incremental

(optional) -

See also:

ibex::Propagation

ibex::HC4::HC4

(

const HC4 &

hc4

)

Duplicate this instance.

---

Member Function Documentation

HC4* ibex::HC4::copy

(

)

const [inline, virtual]

Implement the contractor abstract copy.

Reimplemented from ibex::Propagation.

virtual void ibex::HC4::accept_printer

(

const OperatorPrinter &

op

)

const [inline, virtual]

Accept the pretty printer.

Reimplemented from ibex::Propagation.

---

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

• src/IbexHC4.h
• src/IbexHC4.cpp