| ▼Ncodac | FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function on a given box until the Hausdorff distance between two iterations is less than a given ratio. This operation can be seen as a contractor on the boundary of the solution set |
| CContractorNetwork | Graph of contractors and domains that model a problem in the constraint programming framework. Heterogeneous domains can be handled in the same network, which allows to deal with a wide variety of problems such as non-linear equations, differential systems, delays or inter-temporal equations |
| CIntervalVar | Todo |
| CIntervalVectorVar | Todo |
| CCtcDelay | \(\mathcal{C}_{delay}\) that contracts the tubes \([x](\cdot)\) and \([y](\cdot)\) with respect to their delay \([\tau]\) according to the delay constraint \(\mathbf{x}(t)=\mathbf{y}(t+\tau)\) |
| CCtcDeriv | \(\mathcal{C}_{\frac{d}{dt}}\) that contracts a tube \([x](\cdot)\) with respect to its derivative tube \([v](\cdot)\) according to the constraint \(\dot{x}(\cdot)=v(\cdot)\) |
| CCtcEval | \(\mathcal{C}_\textrm{eval}\) that contracts a tube \([y](\cdot)\) with respect to its derivative tube \([w](\cdot)\) and a measurement \([t]\times[z]\) according to the constraints \(z=y(t)\) and \(\dot{y}(\cdot)=w(\cdot)\) |
| CCtcLohner | \(\mathcal{C}_\textrm{lohner}\) that contracts a tube \([\mathbf{x}](\cdot)\) according to a differential constraint \(\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})\) |
| CCtcPicard | CtcPicard class |
| CCtcStatic | Generic static \(\mathcal{C}\) that contracts a tube \([\mathbf{x}](\cdot)\) with some IBEX contractor (for boxes, possibly including time). The contractor will be applied on each slice and gate |
| CDynCtc | Contractor interface |
| CCtcBox | Contractor around a box |
| CCtcCartProd | Cartesian product of contractors \(\mathcal{C}_1\times\dots\times\mathcal{C}_n\) |
| CCtcCN | Static contractor on a contractor network object |
| CCtcDist | Distance constraint between two 2d vectors |
| CCtcFunction | Generic static \(\mathcal{C}\) that contracts a box \([\mathbf{x}]\) or a tube \([\mathbf{x}](\cdot)\) according to the constraint \(\mathbf{f}(\mathbf{x})=\mathbf{0}\) or \(\mathbf{f}(\mathbf{x})\in[\mathbf{y}]\). It stands on the CtcFwdBwd of IBEX (HC4Revise) |
| CCtcPolar | Minimal contractor for the polar constraint: x = rho*cos(theta) y = rho*sin(theta) theta = angle(x,y) sqr(rho) = sqr(x)+sqr(y) |
| CCtcSegment | Minimal contractor for a segment |
| CSlice | Slice \(\llbracket x\rrbracket(\cdot)\) of a one dimensional tube and made of an envelope and two gates |
| CDynamicalItem | Abstract class for common properties of Tube, TubeVector, Slice, Trajectory, TrajectoryVector objects |
| CTube | One dimensional tube \([x](\cdot)\), defined as an interval of scalar trajectories |
| CTubeVector | N-dimensional tube \([\mathbf{x}](\cdot)\), defined as an interval of n-dimensional trajectories |
| CDomainsSizeException | Exception raised if the size (dimension) of domains are not consistent together, and with the contractor definition |
| CDomainsTypeException | Exception raised if the domains connected to a contractor in a CN are not consistent with the contractor definition |
| CException | Root class of all exceptions raised by Codac |
| CPdcInPolygon | Tests if a box is inside a polygon |
| CSepPolarXY | Separator for point in sector. A sector is defined by its center, a distance and an angle (with uncertainty) |
| CSepPolygon | Separator for Point inside a polygon |
| CColorMap | Associates colors to a range of values |
| Crgb | Represents an RGB value |
| Chsv | Represents an HSV value |
| CFigure | Two-dimensional graphical item |
| CVIBesFig | Two-dimensional graphical item based on the VIBes viewer |
| CVIBesFigPaving | Two-dimensional graphical item to display a Paving object |
| ▼CVIBesFigTube | Two-dimensional graphical item to display scalar tubes or trajectories |
| CFigTrajParams | Specifies some parameters related to a Trajectory display |
| CFigTubeParams | Specifies some parameters related to a Tube display |
| CVIBesFigTubeVector | Multi-view item to display vector tubes or trajectories |
| CConnectedSubset | Multi-dimensional paving representation of a connected subset |
| CPaving | Multi-dimensional paving as representation of a set |
| CSet | Multi-dimensional interval-based representation of a set |
| CSIVIAPaving | Paving resulting from a Set-Inversion Via Interval Analysis |
| CTubePaving | Multi-dimensional paving as projection of a vector tube |
| CCtcTransform | Transformation of a separator with an inversible transformation T(S)(X) = { ffwd*Sin*fbwd(X), ffwd*Sout*fbwd(X)} Using a function and its inverse is less pessimism than using a forward / backward propagation (see: sepInverse) |
| CCtcQInterProjF | Q-intersection contractor |
| CSepBox | Separator \(\mathcal{S}_{box}\) that separates two boxes according to the constraint \(\mathbf{x}\in[\mathbf{b}]\) |
| CCtcFromSep | Build a contractor with a separator Wrt the |
| CSepCtcPairProj | Projection of a separator using ibexlib algorithm |
| CSepFixPoint | Fix point of a Separator |
| CSepFunction | Generic static \(\mathcal{S}\) that separates two boxes according to the constraint \(\mathbf{f}(\mathbf{x})=\mathbf{0}\) or \(\mathbf{f}(\mathbf{x})\in[\mathbf{y}]\). It stands on the SepFwdBwd of IBEX (involving HC4Revise) |
| CSepProj | Projection of a separator |
| CSepTransform | Image of a separator by a function \(f\) where an analytic expression of \(\mathbf{f}^{-1}\) is avaiable. the computation is less pessimism than using a classical a forward / backward propagation ( |
| CTools | Basic features provided here in order to avoid overkill dependencies |
| CRandTrajectory | One dimensional random trajectory \(x(\cdot)\), used to represent noises |
| CTrajectory | One dimensional trajectory \(x(\cdot)\), defined as a temporal map of values |
| CTrajectoryVector | N-dimensional trajectory \(\mathbf{x}(\cdot)\), defined as a temporal map of vector values |
| CCtcConstell | CtcConstell class |
| ▼CVIBesFigMap | Two-dimensional graphical item to project dynamical items (tubes, trajectories, etc.) on a map |
| CFigMapTrajParams | Specifies some parameters related to a Trajectory display |
| CFigMapTubeParams | Specifies some parameters related to a Tube display |
| CTPlane | Temporal representation of loops |
| ▼Ncodac2 | |
| CCtcDiffInclusion | .. |
| CAbstractDomain | .. |
