ibex::Operator Class Reference
[Paver]
Operator interface.
More...
#include <IbexOperator.h>
Inheritance diagram for ibex::Operator:
Public Member Functions | |
| template<typename DATA> | |
| void | require () |
| Operator (Space &space) | |
| Operator (const SpaceFactory &fac) | |
| virtual Operator * | copy () const =0 |
Public Attributes | |
| Space & | space |
| BacktrackableMap | req |
Detailed Description
Operator interface.An operator may be either a contractor or a bisector.
- Date:
- October 2007
Constructor & Destructor Documentation
| ibex::Operator::Operator | ( | Space & | space | ) |
Build an operator on a given space.
- Parameters:
-
space - The space, passed by reference.
| ibex::Operator::Operator | ( | const SpaceFactory & | fac | ) |
Build an operator with an independent space.
- Parameters:
-
fac - The space factory.
Member Function Documentation
template<typename DATA>
| void ibex::Operator::require | ( | ) | [inline] |
State that this operator requires data of type DATA during solve.
- Precondition:
- Class T is a subclass of ibex::Backtrackable.
- Remarks:
- this function is not named "register" because of the C++ keyword.
| virtual Operator* ibex::Operator::copy | ( | ) | const [pure virtual] |
Duplicate this operator.
- Remarks:
- space should be passed by reference in all implementations.
Implemented in ibex::Bisector, ibex::RoundRobin, ibex::LargestFirst, ibex::SmearFunction, ibex::BlockRoundRobin, ibex::Box, ibex::BoxNarrow, ibex::Certification, ibex::Contractor, ibex::HC4, ibex::HC4Revise, ibex::Newton, ibex::Octum, ibex::Precision, ibex::Minimizer, ibex::Propagation, ibex::Sequence, ibex::Shaving, ibex::Slicer, and ibex::UnivNewton.
Member Data Documentation
The space associated to this operator.
The bactrackable data
The documentation for this class was generated from the following files:
- src/IbexOperator.h
- src/IbexOperator.cpp
