Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

[detail level 123]

Ccodac2::AbstractDomain	..
Ccodac::ColorMap	Associates colors to a range of values
Ccodac::ContractorNetwork	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
Ccodac::CtcBox	Contractor around a box
Ccodac::CtcCartProd	Cartesian product of contractors \(\mathcal{C}_1\times\dots\times\mathcal{C}_n\)
Ccodac::CtcCN	Static contractor on a contractor network object
Ccodac::CtcConstell	CtcConstell class
Ccodac2::CtcDiffInclusion	..
Ccodac::CtcDist	Distance constraint between two 2d vectors
Ccodac::CtcFromSep	Build a contractor with a separator Wrt the
Ccodac::CtcFunction	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)
Ccodac::CtcPolar	Minimal contractor for the polar constraint: x = rho*cos(theta) y = rho*sin(theta) theta = angle(x,y) sqr(rho) = sqr(x)+sqr(y)
Ccodac::CtcQInterProjF	Q-intersection contractor
Ccodac::CtcSegment	Minimal contractor for a segment
Ccodac::CtcTransform	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)
▼Ccodac::DynamicalItem	Abstract class for common properties of Tube, TubeVector, Slice, Trajectory, TrajectoryVector objects
Ccodac::Slice	Slice \(\llbracket x\rrbracket(\cdot)\) of a one dimensional tube and made of an envelope and two gates
▼Ccodac::Trajectory	One dimensional trajectory \(x(\cdot)\), defined as a temporal map of values
Ccodac::RandTrajectory	One dimensional random trajectory \(x(\cdot)\), used to represent noises
Ccodac::TrajectoryVector	N-dimensional trajectory \(\mathbf{x}(\cdot)\), defined as a temporal map of vector values
Ccodac::Tube	One dimensional tube \([x](\cdot)\), defined as an interval of scalar trajectories
Ccodac::TubeVector	N-dimensional tube \([\mathbf{x}](\cdot)\), defined as an interval of n-dimensional trajectories
▼Ccodac::DynCtc	Contractor interface
Ccodac::CtcDelay	\(\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)\)
Ccodac::CtcDeriv	\(\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)\)
Ccodac::CtcEval	\(\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)\)
Ccodac::CtcLohner	\(\mathcal{C}_\textrm{lohner}\) that contracts a tube \([\mathbf{x}](\cdot)\) according to a differential constraint \(\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})\)
Ccodac::CtcPicard	CtcPicard class
Ccodac::CtcStatic	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
▼Ccodac::Exception	Root class of all exceptions raised by Codac
Ccodac::DomainsSizeException	Exception raised if the size (dimension) of domains are not consistent together, and with the contractor definition
Ccodac::DomainsTypeException	Exception raised if the domains connected to a contractor in a CN are not consistent with the contractor definition
Ccodac::VIBesFigMap::FigMapTrajParams	Specifies some parameters related to a Trajectory display
Ccodac::VIBesFigMap::FigMapTubeParams	Specifies some parameters related to a Tube display
Ccodac::VIBesFigTube::FigTrajParams	Specifies some parameters related to a Trajectory display
Ccodac::VIBesFigTube::FigTubeParams	Specifies some parameters related to a Tube display
▼Ccodac::Figure	Two-dimensional graphical item
▼Ccodac::VIBesFig	Two-dimensional graphical item based on the VIBes viewer
Ccodac::VIBesFigMap	Two-dimensional graphical item to project dynamical items (tubes, trajectories, etc.) on a map
Ccodac::VIBesFigPaving	Two-dimensional graphical item to display a Paving object
Ccodac::VIBesFigTube	Two-dimensional graphical item to display scalar tubes or trajectories
Ccodac::VIBesFigTubeVector	Multi-view item to display vector tubes or trajectories
Ccodac::hsv	Represents an HSV value
Ccodac::IntervalVar	Todo
Ccodac::IntervalVectorVar	Todo
Ccodac::PdcInPolygon	Tests if a box is inside a polygon
Ccodac::rgb	Represents an RGB value
Ccodac::SepBox	Separator \(\mathcal{S}_{box}\) that separates two boxes according to the constraint \(\mathbf{x}\in[\mathbf{b}]\)
Ccodac::SepCtcPairProj	Projection of a separator using ibexlib algorithm
Ccodac::SepFixPoint	Fix point of a Separator
Ccodac::SepFunction	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)
Ccodac::SepPolarXY	Separator for point in sector. A sector is defined by its center, a distance and an angle (with uncertainty)
Ccodac::SepPolygon	Separator for Point inside a polygon
Ccodac::SepProj	Projection of a separator
Ccodac::SepTransform	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 (
▼Ccodac::Set	Multi-dimensional interval-based representation of a set
Ccodac::ConnectedSubset	Multi-dimensional paving representation of a connected subset
▼Ccodac::Paving	Multi-dimensional paving as representation of a set
Ccodac::SIVIAPaving	Paving resulting from a Set-Inversion Via Interval Analysis
Ccodac::TPlane	Temporal representation of loops
Ccodac::TubePaving	Multi-dimensional paving as projection of a vector tube
Ccodac::Tools	Basic features provided here in order to avoid overkill dependencies