codac2_AbstractDomain.h File Reference

#include "codac_IntervalVector.h"

Include dependency graph for codac2_AbstractDomain.h:

Go to the source code of this file.

Classes
class	codac2::AbstractDomain
	... More...

Detailed Description

AbstractDomain class

Date

2022

Author

Damien Massé

Copyright

Copyright 2022 Codac Team

License: This program is distributed under the terms of

the GNU Lesser General Public License (LGPL).