CtcWrapper
Main author: Maël Godard
The CtcWrapper is a contractor to contract a box with respect to a set represented by a Codac object. Currently supported objects are:
PavingOut
Methods
Below is an example of the use of the CtcWrapper with a Parallelepiped.
x = IntervalVector([[0,5], [0,5]])
p = Parallelepiped(Vector([1.5,2.8]), Matrix([[0.5,0.4],[0,0.2]]))
c = CtcWrapper_Parallelepiped(p)
x = c.contract(x)
# x = [ [0.599999, 2.40001] ; [2.59999, 3] ]
IntervalVector x ({{0,5}, {0,5}});
Parallelepiped p (Vector({1.5,2.8}), Matrix({{0.5,0.4},{0,0.2}}));
CtcWrapper c(p);
c.contract(x);
// x = [ [0.599999, 2.40001] ; [2.59999, 3] ]
Technical documentation
See the C++ API documentation of this class.