#include <IbexPaving.h>

Public Member Functions | |
| bool | leaf () const |
| const PavingNode & | rejected () const |
| int | ctc_number () const |
A paving is built by a call to a solver (see ibex::Paver::explore()).
| 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
1.5.5