codac  1.5.7
codac_CtcConstell.h
1 
11 #ifndef __CODAC_CTCCONSTELL_H__
12 #define __CODAC_CTCCONSTELL_H__
13 
14 #include <list>
15 #include <vector>
16 #include "codac_Ctc.h"
17 #include <codac_IntervalVector.h>
18 
19 namespace codac
20 {
25  class CtcConstell : public Ctc
26  {
27  public:
28 
29  CtcConstell(const std::vector<IntervalVector>& map);
30  CtcConstell(const std::list<IntervalVector>& map);
31  ~CtcConstell();
32  void contract(IntervalVector &beacon_box);
33 
34  protected:
35 
36  std::vector<IntervalVector> m_map;
37  };
38 }
39 
40 #endif
CtcConstell class.
Definition: codac_CtcConstell.h:26
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9