codac
codac2_AbstractDomain.h
Go to the documentation of this file.
1 
12 #ifndef __CODAC2_ABSTRACTDOMAIN_H__
13 #define __CODAC2_ABSTRACTDOMAIN_H__
14 
15 #include "codac_IntervalVector.h"
16 
17 namespace codac2
18 {
19  using codac::IntervalVector;
20 
26  {
27  public:
28 
30  IntervalVector box() const;
31 
32  protected:
33 
34  };
35 }
36 
37 #endif
Definition: codac2_CtcDiffInclusion.h:20
...
Definition: codac2_AbstractDomain.h:25