ibex::ContractorNode Class Reference
[Paver]

Paving contractor node. More...

#include <IbexPaving.h>

Inheritance diagram for ibex::ContractorNode:

ibex::PavingNode

List of all members.

Public Member Functions

bool leaf () const
const PavingNoderejected () const
int ctc_number () const


Detailed Description

Paving contractor node.

A paving is built by a call to a solver (see ibex::Paver::explore()).

Author:
Gilles Chabert
Date:
January 2008

Member Function Documentation

bool ibex::ContractorNode::leaf (  )  const [inline]

Return true if this node is a leaf in the paving.

const PavingNode& ibex::ContractorNode::rejected (  )  const [inline]

Return the rejected part by the contractor

int ibex::ContractorNode::ctc_number (  )  const [inline]

Return the contractor number


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

Generated on Sun Jun 27 15:52:00 2010 for IBEX by  doxygen 1.5.5