#include <type_traits>
#include "codac2_CtcWrapper.h"
#include "codac2_Collection.h"
#include "codac2_template_tools.h"

Include dependency graph for codac2_CtcInter.h:

This graph shows which files directly or indirectly include this file:

Classes
class	codac2::CtcInter< X >
	Sequential intersection of several contractors: More...
class	codac2::CtcInter<>
	Default CtcInter specialization for box contractors. More...
struct	codac2::CtcInterType< std::tuple< T... > >
	CtcInterType specialization for tuples of contracted types. More...

Namespaces
namespace	codac2

Functions
template<typename C1, typename C2>
CtcInterType< typenameC1::ContractedTypes >::Ctc	codac2::operator& (const C1 &c1, const C2 &c2)
	Builds an intersection contractor from two contractors.
template<typename C1, typename C2>
CtcInterType< typenameC1::ContractedTypes >::Ctc	codac2::operator& (const std::shared_ptr< C1 > &c1, const std::shared_ptr< C2 > &c2)
	Builds an intersection contractor from two shared contractor pointers.
template<typename C1, typename C2>
CtcInterType< typenameC1::ContractedTypes >::Ctc	codac2::operator& (const std::shared_ptr< C1 > &c1, const C2 &c2)
	Builds an intersection contractor from a shared contractor pointer and a contractor.
template<typename C1, typename C2>
CtcInterType< typenameC1::ContractedTypes >::Ctc	codac2::operator& (const C1 &c1, const std::shared_ptr< C2 > &c2)
	Builds an intersection contractor from a contractor and a shared contractor pointer.
template<typename C2>
CtcInter< IntervalVector >	codac2::operator& (const IntervalVector &c1, const C2 &c2)
	Intersects a box with a contractor by wrapping the box into a CtcWrapper.
template<typename C1>
CtcInter< IntervalVector >	codac2::operator& (const C1 &c1, const IntervalVector &c2)
	Intersects a contractor with a box by wrapping the box into a CtcWrapper.

Detailed Description

Classes