codac 1.5.6
|
Go to the source code of this file.
Namespaces | |
namespace | codac |
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function on a given box until the Hausdorff distance between two iterations is less than a given ratio. This operation can be seen as a contractor on the boundary of the solution set. | |
Functions | |
Scalar outputs | |
const Trajectory | codac::cos (const Trajectory &x) |
\(\cos(x(\cdot))\) | |
const Trajectory | codac::sin (const Trajectory &x) |
\(\sin(x(\cdot))\) | |
const Trajectory | codac::abs (const Trajectory &x) |
\(\mid x(\cdot)\mid\) | |
const Trajectory | codac::sqr (const Trajectory &x) |
\(x^2(\cdot)\) | |
const Trajectory | codac::sqrt (const Trajectory &x) |
\(\sqrt{x(\cdot)}\) | |
const Trajectory | codac::exp (const Trajectory &x) |
\(\exp(x(\cdot))\) | |
const Trajectory | codac::log (const Trajectory &x) |
\(\log(x(\cdot))\) | |
const Trajectory | codac::tan (const Trajectory &x) |
\(\tan(x(\cdot))\) | |
const Trajectory | codac::acos (const Trajectory &x) |
\(\arccos(x(\cdot))\) | |
const Trajectory | codac::asin (const Trajectory &x) |
\(\arcsin(x(\cdot))\) | |
const Trajectory | codac::atan (const Trajectory &x) |
\(\arctan(x(\cdot))\) | |
const Trajectory | codac::cosh (const Trajectory &x) |
\(\cosh(x(\cdot))\) | |
const Trajectory | codac::sinh (const Trajectory &x) |
\(\sinh(x(\cdot))\) | |
const Trajectory | codac::tanh (const Trajectory &x) |
\(\tanh(x(\cdot))\) | |
const Trajectory | codac::acosh (const Trajectory &x) |
\(\mathrm{arccosh}(x(\cdot))\) | |
const Trajectory | codac::asinh (const Trajectory &x) |
\(\mathrm{arcsinh}(x(\cdot))\) | |
const Trajectory | codac::atanh (const Trajectory &x) |
\(\mathrm{arctanh}(x(\cdot))\) | |
const Trajectory | codac::atan2 (const Trajectory &y, const Trajectory &x) |
\(\mathrm{arctan2}(y(\cdot),x(\cdot))\) | |
const Trajectory | codac::atan2 (const Trajectory &y, double x) |
\(\mathrm{arctan2}(y(\cdot),x)\) | |
const Trajectory | codac::atan2 (double y, const Trajectory &x) |
\(\mathrm{arctan2}(y, x(\cdot))\) | |
const Trajectory | codac::min (const Trajectory &y, const Trajectory &x) |
\(\min(y(\cdot),x(\cdot))\) | |
const Trajectory | codac::min (const Trajectory &y, double x) |
\(\min(y(\cdot),x)\) | |
const Trajectory | codac::min (double y, const Trajectory &x) |
\(\min(y, x(\cdot))\) | |
const Trajectory | codac::max (const Trajectory &y, const Trajectory &x) |
\(\max(y(\cdot),x(\cdot))\) | |
const Trajectory | codac::max (const Trajectory &y, double x) |
\(\max(y(\cdot),x)\) | |
const Trajectory | codac::max (double y, const Trajectory &x) |
\(\max(y, x(\cdot))\) | |
const Trajectory | codac::pow (const Trajectory &x, int p) |
\(x^p(\cdot)\) | |
const Trajectory | codac::pow (const Trajectory &x, double p) |
\(x^p(\cdot)\) | |
const Trajectory | codac::root (const Trajectory &x, int p) |
\(\sqrt[p]{x(\cdot)}\) | |
const Trajectory | codac::operator+ (const Trajectory &x) |
\(x(\cdot)\) | |
const Trajectory | codac::operator+ (const Trajectory &x, const Trajectory &y) |
\(x(\cdot)+y(\cdot)\) | |
const Trajectory | codac::operator+ (const Trajectory &x, double y) |
\(x(\cdot)+y\) | |
const Trajectory | codac::operator+ (double x, const Trajectory &y) |
\(x+y(\cdot)\) | |
const Trajectory | codac::operator- (const Trajectory &x) |
\(-x(\cdot)\) | |
const Trajectory | codac::operator- (const Trajectory &x, const Trajectory &y) |
\(x(\cdot)-y(\cdot)\) | |
const Trajectory | codac::operator- (const Trajectory &x, double y) |
\(x(\cdot)-y\) | |
const Trajectory | codac::operator- (double x, const Trajectory &y) |
\(x-y(\cdot)\) | |
const Trajectory | codac::operator* (const Trajectory &x, const Trajectory &y) |
\(x(\cdot)\cdot y(\cdot)\) | |
const Trajectory | codac::operator* (const Trajectory &x, double y) |
\(x(\cdot)\cdot y\) | |
const Trajectory | codac::operator* (double x, const Trajectory &y) |
\(x\cdot y(\cdot)\) | |
const Trajectory | codac::operator/ (const Trajectory &x, const Trajectory &y) |
\(x(\cdot)/y(\cdot)\) | |
const Trajectory | codac::operator/ (const Trajectory &x, double y) |
\(x(\cdot)/y\) | |
const Trajectory | codac::operator/ (double x, const Trajectory &y) |
\(x/y(\cdot)\) | |
Vector outputs | |
const TrajectoryVector | codac::operator+ (const TrajectoryVector &x) |
\(\mathbf{x}(\cdot)\) | |
const TrajectoryVector | codac::operator+ (const TrajectoryVector &x, const TrajectoryVector &y) |
\(\mathbf{x}(\cdot)+\mathbf{y}(\cdot)\) | |
const TrajectoryVector | codac::operator+ (const TrajectoryVector &x, const Vector &y) |
\(\mathbf{x}(\cdot)+\mathbf{y}\) | |
const TrajectoryVector | codac::operator+ (const Vector &x, const TrajectoryVector &y) |
\(\mathbf{x}+\mathbf{y}(\cdot)\) | |
const TrajectoryVector | codac::operator- (const TrajectoryVector &x) |
\(-\mathbf{x}(\cdot)\) | |
const TrajectoryVector | codac::operator- (const TrajectoryVector &x, const TrajectoryVector &y) |
\(\mathbf{x}(\cdot)-\mathbf{y}(\cdot)\) | |
const TrajectoryVector | codac::operator- (const TrajectoryVector &x, const Vector &y) |
\(\mathbf{x}(\cdot)-\mathbf{y}\) | |
const TrajectoryVector | codac::operator- (const Vector &x, const TrajectoryVector &y) |
\(\mathbf{x}-\mathbf{y}(\cdot)\) | |
const TrajectoryVector | codac::operator* (double x, const TrajectoryVector &y) |
\(x\cdot\mathbf{y}(\cdot)\) | |
const TrajectoryVector | codac::operator* (const Trajectory &x, const TrajectoryVector &y) |
\(x(\cdot)\cdot\mathbf{y}(\cdot)\) | |
const TrajectoryVector | codac::operator* (const Trajectory &x, const Vector &y) |
\(x(\cdot)\cdot\mathbf{y}\) | |
const TrajectoryVector | codac::operator* (const Matrix &x, const TrajectoryVector &y) |
\(x(\cdot)\cdot\mathbf{y}\) | |
const TrajectoryVector | codac::operator/ (const TrajectoryVector &x, double y) |
\(\mathbf{x}(\cdot)/y\) | |
const TrajectoryVector | codac::operator/ (const TrajectoryVector &x, const Trajectory &y) |
\(\mathbf{x}(\cdot)/y(\cdot)\) | |
const TrajectoryVector | codac::operator/ (const Vector &x, const Trajectory &y) |
\(\mathbf{x}/y(\cdot)\) | |
const Vector | codac::vecto_product (const Vector &x, const Vector &y) |
\(\mathbf{x}\times\mathbf{y}\) (or \(\mathbf{x}\wedge\mathbf{y}\) in physics) | |
const TrajectoryVector | codac::vecto_product (const TrajectoryVector &x, const Vector &y) |
\(\mathbf{x}(\cdot)\times\mathbf{y}\) (or \(\mathbf{x}(\cdot)\wedge\mathbf{y}\) in physics) | |
const TrajectoryVector | codac::vecto_product (const Vector &x, const TrajectoryVector &y) |
\(\mathbf{x}\times\mathbf{y}(\cdot)\) (or \(\mathbf{x}\wedge\mathbf{y}(\cdot)\) in physics) | |
const TrajectoryVector | codac::abs (const TrajectoryVector &x) |
\(\mid\mathbf{x}(\cdot)\mid\) | |