codac::CtcDelay Class Reference

\(\mathcal{C}_{delay}\) that contracts the tubes \([x](\cdot)\) and \([y](\cdot)\) with respect to their delay \([\tau]\) according to the delay constraint \(\mathbf{x}(t)=\mathbf{y}(t+\tau)\) More...

#include <codac_CtcDelay.h>

Inheritance diagram for codac::CtcDelay:

Collaboration diagram for codac::CtcDelay:

Public Member Functions
	CtcDelay ()
	Creates a contractor object \(\mathcal{C}_{delay}\).
void	contract (Interval &a, Tube &x, Tube &y)
	\(\mathcal{C}_{delay}\big([a],[x](\cdot),[y](\cdot)\big)\): contracts the tubes \([x](\cdot)\), \([y](\cdot)\) and the delay \([a]\) with respect to the constraint \(x(t)=y(t+a)\)
void	contract (Interval &a, TubeVector &x, TubeVector &y)
	\(\mathcal{C}_{delay}\big([a],[\mathbf{x}](\cdot),[\mathbf{y}](\cdot)\big)\): contracts the tube vectors \([\mathbf{x}](\cdot)\), \([\mathbf{y}](\cdot)\) and the delay \([a]\) with respect to the constraint \(\mathbf{x}(t)=\mathbf{y}(t+a)\)
Public Member Functions inherited from codac::DynCtc
	DynCtc (bool intertemporal=true)
	Creates a contractor.
virtual	~DynCtc ()
	DynCtc destructor.
void	preserve_slicing (bool preserve=true)
	Specifies whether the contractor can impact the tube's slicing or not.
void	set_fast_mode (bool fast_mode=true)
	Specifies an optional fast mode of contraction.
void	restrict_tdomain (const Interval &tdomain)
	Limits the temporal domain of contractions.
bool	is_intertemporal () const
	Tests if the related constraint is inter-temporal or not.

Static Protected Attributes
static const std::string	m_ctc_name
	class name (mainly used for CN Exceptions)
static std::vector< std::string >	m_str_expected_doms
	allowed domains signatures (mainly used for CN Exceptions)

Additional Inherited Members
Protected Attributes inherited from codac::DynCtc
bool	m_preserve_slicing = true
	if true, tube's slicing will not be affected by the contractor
bool	m_fast_mode = false
	some contractors may propose more pessimistic but faster execution modes
Interval	m_restricted_tdomain
	limits the contractions to the specified temporal domain
const bool	m_intertemporal = true
	defines if the related constraint is inter-temporal or not (true by default)

Detailed Description

\(\mathcal{C}_{delay}\) that contracts the tubes \([x](\cdot)\) and \([y](\cdot)\) with respect to their delay \([\tau]\) according to the delay constraint \(\mathbf{x}(t)=\mathbf{y}(t+\tau)\)

Member Function Documentation

contract() [1/2]

void codac::CtcDelay::contract	(	Interval &	a,
		Tube &	x,
		Tube &	y )

\(\mathcal{C}_{delay}\big([a],[x](\cdot),[y](\cdot)\big)\): contracts the tubes \([x](\cdot)\), \([y](\cdot)\) and the delay \([a]\) with respect to the constraint \(x(t)=y(t+a)\)

Parameters

a	the delay value \(\tau\) to be contracted
x	the scalar tube \([x](\cdot)\) to be contracted
y	the scalar tube \([y](\cdot)\) to be contracted

contract() [2/2]

void codac::CtcDelay::contract	(	Interval &	a,
		TubeVector &	x,
		TubeVector &	y )

\(\mathcal{C}_{delay}\big([a],[\mathbf{x}](\cdot),[\mathbf{y}](\cdot)\big)\): contracts the tube vectors \([\mathbf{x}](\cdot)\), \([\mathbf{y}](\cdot)\) and the delay \([a]\) with respect to the constraint \(\mathbf{x}(t)=\mathbf{y}(t+a)\)

Parameters

a	the delay value \(\tau\) to be contracted
x	the n-dimensional tube \([\mathbf{x}](\cdot)\) to be contracted
y	the n-dimensional tube \([\mathbf{y}](\cdot)\) to be contracted

---

The documentation for this class was generated from the following file:

• /home/simon/codac/src/core/contractors/dyn/codac_CtcDelay.h