12 #ifndef __CODAC_CTCDERIV_H__ 13 #define __CODAC_CTCDERIV_H__ 45 void contract(std::vector<Domain*>& v_domains);
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
Contractor interface.
Definition: codac_DynCtc.h:60
Slice of a one dimensional tube and made of an envelope and two gates.
Definition: codac_Slice.h:33
Graph of contractors and domains that model a problem in the constraint programming framework...
Definition: codac_ContractorNetwork.h:48
backward in time (from to )
that contracts a tube with respect to its derivative tube and a measurement according to the cons...
Definition: codac_CtcEval.h:26
n-dimensional tube , defined as an interval of n-dimensional trajectories
Definition: codac_TubeVector.h:38
CtcDeriv()
Creates a contractor object .
One dimensional tube , defined as an interval of scalar trajectories.
Definition: codac_Tube.h:47
forward in time (from to )
void contract_gates(Slice &x, const Slice &v)
Contracts input and output gates of a slice regarding its derivative set.
that contracts a tube with respect to its derivative tube according to the constraint ...
Definition: codac_CtcDeriv.h:29
static const std::string m_ctc_name
class name (mainly used for CN Exceptions)
Definition: codac_CtcDeriv.h:103
static std::vector< std::string > m_str_expected_doms
allowed domains signatures (mainly used for CN Exceptions)
Definition: codac_CtcDeriv.h:104
TimePropag
Specifies the temporal propagation way (forward or backward in time)
Definition: codac_DynCtc.h:26