codac
src
core
2
integration
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
25
class
AbstractDomain
26
{
27
public
:
28
29
AbstractDomain
();
30
IntervalVector box()
const
;
31
32
protected
:
33
34
};
35
}
36
37
#endif
codac2
Definition:
codac2_CtcDiffInclusion.h:20
codac_IntervalVector.h
codac2::AbstractDomain
...
Definition:
codac2_AbstractDomain.h:25
Generated by
1.8.13