codac 1.5.6
Loading...
Searching...
No Matches
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
18namespace 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
backward in time (from to )
@ FORWARD
forward in time (from to )