codac
codac_CtcChain.h
Go to the documentation of this file.
1 
12 #ifndef __CODAC_CTCCHAIN_H__
13 #define __CODAC_CTCCHAIN_H__
14 
15 #include "codac_CtcLinobs.h"
16 #include "codac2_Tube.h"
17 
18 namespace codac
19 {
23  class CtcChain : public CtcLinobs
24  {
25  public:
26 
30  CtcChain();
31 
32  void contract(std::vector<Domain*>& v_domains);
33  void contract(Tube& x, Tube& v, const Tube& a, TimePropag t_propa = TimePropag::FORWARD | TimePropag::BACKWARD);
34  void contract(codac2::Tube<IntervalVector>& x, const codac2::Tube<Interval>& a, TimePropag t_propa = TimePropag::FORWARD | TimePropag::BACKWARD);
35  void contract(codac2::Tube<Interval>& x, codac2::Tube<Interval>& v, const codac2::Tube<Interval>& a, TimePropag t_propa = TimePropag::FORWARD | TimePropag::BACKWARD);
36 
37 
38  protected:
39 
40  static const std::string m_ctc_name;
41  static std::vector<std::string> m_str_expected_doms;
42  friend class ContractorNetwork;
43  };
44 }
45 
46 #endif
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
backward in time (from to )
forward in time (from to )
TimePropag
Specifies the temporal propagation way (forward or backward in time)
Definition: codac_DynCtc.h:26