mmx::texp Namespace Reference

Namespaces

• namespace structure

Classes

• struct kernelof_< GMP::ieee >
• struct kernelof_< GMP::integer >
• struct kernelof_< GMP::rational >
• struct kernelof_< GMP::floating >
• struct kernelof_< IEEE754::integer >
• struct kernelof_< IEEE754::floating >
• struct kernelof_< Interval< X, r > >
• struct As
• struct true_t

  structure defining a positive answer More...
  

• struct false_t

  structure defining a negative answer More...
  

• struct null_t

  structure defining a the empty list More...
  

• struct max_value
• struct abs_value
• struct instanceof
• struct instanceof< R< X >, Y >
• struct instanceof< R< X, N >, Y >
• struct instanceof< V< C, R >, Y >
• struct sup_container
• struct value_type_
• struct value_type_< R< X > >
• struct value_type_< C[N] >
• struct value_type_< C * >
• struct value_type_< const C * >
• struct value_type
• struct TYPE
• struct operator_iscommutative
• struct operator_isinplace
• struct unary_operator_prototype
• struct binary_operator_structure_prototype
• struct binary_operator_prototype
• struct unary_operator
• struct binary_operator
• struct template_expression_operand
• struct template_expression_operand< int >
• struct template_expression
• struct template_expression< unary_operator<O, A > >
• struct template_expression< binary_operator<O, A, B > >
• struct fieldof_
• struct fieldof_< int, unsigned int >
• struct fieldof_< unsigned int, int >
• struct fieldof_< double, int >
• struct fieldof_< int, double >
• struct fieldof_< double, unsigned int >
• struct fieldof_< unsigned int, double >
• struct kernel_fieldof
• struct kernel_fieldof< K, typename K::floating, typename K::ieee >
• struct kernel_fieldof< K, typename K::ieee, typename K::floating >
• struct kernel_fieldof< null_t, X, Y >
• struct fieldof

  x (in X) + y (in Y) is subset of fieldof<X,Y>::T More...
  

• struct fieldof_< std::complex< X >, std::complex< Y > >
• struct fieldof_< std::complex< X >, std::complex< X > >
• struct hasgcd_
• struct hasgcd
• struct hassqrt_
• struct hassqrt
• struct hasisqrt_
• struct hasisqrt
• struct hasfunction
• struct hasproperty
• struct integerof_
• struct kernel_integerof
• struct kernel_integerof< null_t, X >
• struct integerof
• struct isexact_
• struct kernel_isexact
• struct kernel_isexact< null_t, X >
• struct kernel_isexact< K, typename K::integer >
• struct kernel_isexact< K, typename K::rational >
• struct kernel_isexact< K, typename K::floating >
• struct kernel_isexact< K, typename K::ieee >
• struct isexact
• struct isapproximate

  Traits class which specifies if the type X is not exact. More...
  

• struct isfield_
• struct isfield_< float >
• struct isfield_< double >
• struct isfield_< long double >
• struct kernel_isfield
• struct kernel_isfield< K, typename K::integer >
• struct kernel_isfield< null_t, X >
• struct isfield
• struct isring_
• struct isring_< int >
• struct isring_< long int >
• struct isring_< float >
• struct isring_< double >
• struct isring_< long double >
• struct kernel_isring
• struct kernel_isring< null_t, X >
• struct isring
• struct issubsetof_
• struct kernel_issubsetof

  kernel version of issubsetof More...
  

• struct kernel_issubsetof< null_t, X, Y >
• struct kernel_issubsetof< K, typename K::integer, algebraic< K > >
• struct kernel_issubsetof< K, typename K::integer, typename K::rational >
• struct kernel_issubsetof< K, typename K::integer, typename K::floating >

  neglecting the overflow problem we assume that floating is superset of integer More...
  

• struct kernel_issubsetof< K, double, typename K::floating >
• struct kernel_issubsetof< K, typename K::integer, double >
• struct kernel_issubsetof< K, typename K::floating, typename K::rational >
• struct issubsetof_< int, Y >
• struct issubsetof_< R< X >, R< Y > >
• struct issubsetof

  X can be seen as an arithmetic subset of Y (eg. "Z in Q") return texp::true_t if all x in X are in Y. specialization must be done on subsetof_. More...
  

• struct issupersetof
• struct issupersetof< X, texp::tlist< A, texp::null_t > >
• struct issupersetof< X, texp::tlist< A, Tail > >
• struct kernel
• struct kernelof_

  return the arithmetic kernel from which the unqualified type X comes from. More...
  

• struct kernelof_< algebraic< K > >
• struct kernelof

  return the arithmetic kernel from which the type X comes from. More...
  

• struct haskernel

  return true_t if the number type X comes from a kernel. More...
  

• struct tlist

  type list node More...
  

• struct tmap< TypeFunctor, tlist< Head, Tail > >
• struct tmap< TypeFunctor, tlist< Head, null_t > >
• struct gentlist

  helper for type list definition More...
  

• struct gentlist< X, null_t >
• struct sfirstnnl

  select the first non null type of a type-list. More...
  

• struct sfirstnnl< tlist< car, cdr > >
• struct sfirstnnl< tlist< null_t, cdr > >
• struct sfirstnnl< tlist< null_t, null_t > >
• struct sfirstnn
• struct _add_
• struct _sub_
• struct _mul_
• struct _div_
• struct _pow_
• struct _mod_
• struct _neg_
• struct binary_operator_structure_prototype< _add_, X, Y, SX, SY >
• struct binary_operator_structure_prototype< _sub_, X, Y, SX, SY >
• struct binary_operator_structure_prototype< _mul_, X, Y, SX, SY >
• struct binary_operator_structure_prototype< _div_, X, Y, SX, SY >
• struct binary_operator_structure_prototype< _add_, X, Y, structure::vector, structure::vector >
• struct binary_operator_structure_prototype< _sub_, X, Y, structure::vector, structure::vector >
• struct binary_operator_structure_prototype< _mul_, X, Y, structure::vector, structure::vector >
• struct binary_operator_structure_prototype< _mul_, X, Y, structure::vector, structure::scalar >
• struct binary_operator_structure_prototype< _mul_, X, Y, structure::scalar, structure::vector >
• struct binary_operator_structure_prototype< _div_, X, Y, structure::vector, structure::scalar >
• struct binary_operator_structure_prototype< _mul_, X, Y, structure::matrix, structure::vector >
• struct binary_operator_structure_prototype< _mul_, X, Y, structure::matrix, structure::scalar >
• struct binary_operator_structure_prototype< _mul_, X, Y, structure::scalar, structure::matrix >
• struct binary_operator_structure_prototype< _div_, M, S, structure::matrix, structure::scalar >
• struct rationalof_
• struct kernel_rationalof
• struct kernel_rationalof< null_t, X >
• struct rationalof
• struct ringof_
• struct ringof_< int, unsigned int >
• struct ringof_< unsigned int, int >
• struct ringof_< double, int >
• struct ringof_< int, double >
• struct kernel_ringof
• struct kernel_ringof< K, typename K::integer, typename K::ieee >
• struct kernel_ringof< K, typename K::ieee, typename K::integer >
• struct kernel_ringof< K, typename K::integer, typename K::rational >
• struct kernel_ringof< K, typename K::rational, typename K::integer >
• struct kernel_ringof< K, typename K::integer, typename K::floating >
• struct kernel_ringof< K, typename K::floating, typename K::integer >
• struct kernel_ringof< K, typename K::floating, typename K::rational >
• struct kernel_ringof< K, typename K::rational, typename K::floating >
• struct kernel_ringof< K, typename K::floating, typename K::ieee >
• struct kernel_ringof< K, typename K::ieee, typename K::floating >
• struct kernel_ringof< K, typename K::rational, typename K::ieee >
• struct kernel_ringof< K, typename K::ieee, typename K::rational >
• struct ringof

  x (in X) + y (in Y) is subset of ringof<X,Y>::T More...
  

• struct ptr

  return T = Y * from X = Y or X = Y * More...
  

• struct ptr< X * >
• struct ptr< X *const >
• struct uptr

  return T = Y from X = Y or X = Y * More...
  

• struct uptr< X * >
• struct ref

  return T = Y & from X = Y or X = Y & More...
  

• struct ref< X & >
• struct uref

  return T = Y from X = Y or X = Y & More...
  

• struct uref< X & >
• struct cst

  return T = const Y from X = Y or X = const Y More...
  

• struct cst< const X >
• struct ucst

  return T = Y from X = Y or X = const Y More...
  

• struct ucst< const X >
• struct ucstref

  return T = Y from X = const Y, Y, Y &, const Y & More...
  

• struct scalar_type
• struct structureof_
• struct kernel_structureof
• struct kernel_structureof< null_t, X >
• struct kernel_structureof< K, typename K::integer >
• struct kernel_structureof< K, typename K::rational >
• struct kernel_structureof< K, typename K::floating >
• struct kernel_structureof< K, typename K::ieee >
• struct structureof
• struct sup_
• struct sup
• struct equal

  ask for type equality return T in { false_t, true_t } and V in {0,1} More...
  

• struct equal< X, X >
• struct tselect

  select a type based on condition X, X is assumed to be in { null_t, false_t, true_t } More...
  

• struct tselect< false_t, A, B >
• struct tselect< null_t, A, B >
• struct vselect

  select a type base on condition V, V is assumed to be in { 0, 1 } More...
  

• struct vselect< 0, A, B >
• struct tnot
• struct tnot< false_t >
• struct tnot< null_t >
• struct is_ptr
• struct If
• struct If< false, A, B >
• struct Eq
• struct Eq< A, A >
• struct ValueType
• struct ValueType< A[n] >
• struct ValueType< A * >
• struct Int
• struct BoolType
• struct BoolType< true >
• struct deconst
• struct deconst< const X >
• struct Sup
• struct Pair

Functions

• template<class X > const char * name ()
• template<class X > std::ostream & print (std::ostream &o)
• template<class X > std::ostream & operator<< (std::ostream &o, const TYPE< X > &t)
• void add (double &a, double b, double c)
• void sub (double &a, double b, double c)
• void mul (double &a, double b, double c)
• void div (double &a, double b, double c)
• template<class A > std::ostream & operator<< (std::ostream &o, const template_expression< A > &e)
• template<class O , class A > std::ostream & operator<< (std::ostream &o, const template_expression< unary_operator<O, A > > &a)
• template<class O , class A , class B > std::ostream & operator<< (std::ostream &o, const template_expression< binary_operator<O, A, B > > &a)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_add_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator+ (const texp::template_expression< X > &x, const texp::template_expression< Y > &y)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_add_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator+ (const texp::template_expression< X > &x, const Y &y)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_add_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator+ (const X &x, const texp::template_expression< Y > &y)
• template<class X , class Y > X & add (X &r, const texp::template_expression< Y > &exp)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_sub_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator- (const texp::template_expression< X > &x, const texp::template_expression< Y > &y)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_sub_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator- (const texp::template_expression< X > &x, const Y &y)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_sub_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator- (const X &x, const texp::template_expression< Y > &y)
• template<class X , class Y > X & sub (X &r, const texp::template_expression< Y > &exp)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_mul_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator* (const texp::template_expression< X > &x, const texp::template_expression< Y > &y)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_mul_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator* (const texp::template_expression< X > &x, const Y &y)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_mul_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator* (const X &x, const texp::template_expression< Y > &y)
• template<class X , class Y > X & mul (X &r, const texp::template_expression< Y > &exp)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_div_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator/ (const texp::template_expression< X > &x, const texp::template_expression< Y > &y)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_div_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator/ (const texp::template_expression< X > &x, const Y &y)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_div_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator/ (const X &x, const texp::template_expression< Y > &y)
• template<class X , class Y > X & div (X &r, const texp::template_expression< Y > &exp)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_pow_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator^ (const texp::template_expression< X > &x, const texp::template_expression< Y > &y)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_pow_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator^ (const texp::template_expression< X > &x, const Y &y)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_pow_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator^ (const X &x, const texp::template_expression< Y > &y)
• template<class X , class Y > X & pow (X &r, const texp::template_expression< Y > &exp)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_mod_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator% (const texp::template_expression< X > &x, const texp::template_expression< Y > &y)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_mod_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator% (const texp::template_expression< X > &x, const Y &y)
• template<class X , class Y > texp::template_expression
  < texp::binary_operator<_mod_,
  texp::template_expression< X >
  , texp::template_expression< Y > > > operator% (const X &x, const texp::template_expression< Y > &y)
• template<class X , class Y > X & mod (X &r, const texp::template_expression< Y > &exp)
• template<class X > texp::template_expression
  < unary_operator<_neg_,
  texp::template_expression< X > > > operator- (const texp::template_expression< X > &x)
• template<class X > texp::template_expression
  < unary_operator<_neg_,
  texp::template_expression< X > > > operator- (const X &x)
• template<class op , class X , class Y > std::ostream & operator<< (std::ostream &o, const binary_operator_prototype< op, X, Y > &b)

---

Function Documentation

void mmx::texp::add	(	double &	a,
		double	b,
		double	c
	)		[inline]

Definition at line 4 of file texp_double.hpp.

Referenced by Interval< double >::operator+=().

{ a=b+c;}

X& mmx::texp::add	(	X &	r,
		const texp::template_expression< Y > &	exp
	)

Definition at line 14 of file texp_operators_prototypes.hpp.

{

X& mmx::texp::div	(	X &	r,
		const texp::template_expression< Y > &	exp
	)

Definition at line 17 of file texp_operators_prototypes.hpp.

{

void mmx::texp::div	(	double &	a,
		double	b,
		double	c
	)		[inline]

Definition at line 7 of file texp_double.hpp.

Referenced by Interval< double >::operator/=().

{ a=b/c;}

X& mmx::texp::mod	(	X &	r,
		const texp::template_expression< Y > &	exp
	)

Definition at line 19 of file texp_operators_prototypes.hpp.

{

X& mmx::texp::mul	(	X &	r,
		const texp::template_expression< Y > &	exp
	)

Definition at line 16 of file texp_operators_prototypes.hpp.

{

void mmx::texp::mul	(	double &	a,
		double	b,
		double	c
	)		[inline]

Definition at line 6 of file texp_double.hpp.

Referenced by Interval< double >::operator*=().

{ a=b*c;}

const char* mmx::texp::name

(

)

[inline]

Definition at line 9 of file texp_demangle.hpp.

Referenced by operator<<(), and print().

                      { 
    size_t len; 
    int status;
    return abi::__cxa_demangle( typeid(X).name(), 0, &len, &status );
  };

texp::template_expression< texp::binary_operator< _mod_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator%	(	const texp::template_expression< X > &	x,
		const Y &	y
	)		[inline]

Definition at line 19 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _mod_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator%	(	const X &	x,
		const texp::template_expression< Y > &	y
	)		[inline]

Definition at line 19 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _mod_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator%	(	const texp::template_expression< X > &	x,
		const texp::template_expression< Y > &	y
	)		[inline]

Definition at line 19 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _mul_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator*	(	const texp::template_expression< X > &	x,
		const texp::template_expression< Y > &	y
	)		[inline]

Definition at line 16 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _mul_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator*	(	const X &	x,
		const texp::template_expression< Y > &	y
	)		[inline]

Definition at line 16 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _mul_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator*	(	const texp::template_expression< X > &	x,
		const Y &	y
	)		[inline]

Definition at line 16 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _add_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator+	(	const texp::template_expression< X > &	x,
		const texp::template_expression< Y > &	y
	)		[inline]

Definition at line 14 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _add_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator+	(	const texp::template_expression< X > &	x,
		const Y &	y
	)		[inline]

Definition at line 14 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _add_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator+	(	const X &	x,
		const texp::template_expression< Y > &	y
	)		[inline]

Definition at line 14 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _sub_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator-	(	const texp::template_expression< X > &	x,
		const Y &	y
	)		[inline]

Definition at line 15 of file texp_operators_prototypes.hpp.

{

texp::template_expression< unary_operator< _neg_ , texp::template_expression<X> > > mmx::texp::operator-

(

const X &

x

)

[inline]

Definition at line 20 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _sub_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator-	(	const X &	x,
		const texp::template_expression< Y > &	y
	)		[inline]

Definition at line 15 of file texp_operators_prototypes.hpp.

{

texp::template_expression< unary_operator< _neg_ , texp::template_expression<X> > > mmx::texp::operator-

(

const texp::template_expression< X > &

x

)

[inline]

Definition at line 20 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _sub_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator-	(	const texp::template_expression< X > &	x,
		const texp::template_expression< Y > &	y
	)		[inline]

Definition at line 15 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _div_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator/	(	const X &	x,
		const texp::template_expression< Y > &	y
	)		[inline]

Definition at line 17 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _div_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator/	(	const texp::template_expression< X > &	x,
		const texp::template_expression< Y > &	y
	)		[inline]

Definition at line 17 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _div_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator/	(	const texp::template_expression< X > &	x,
		const Y &	y
	)		[inline]

Definition at line 17 of file texp_operators_prototypes.hpp.

{

std::ostream& mmx::texp::operator<<	(	std::ostream &	o,
		const template_expression< A > &	e
	)		[inline]

Definition at line 283 of file texp_expression.hpp.

  { 
    o << (e.a);
    return o;
  };

std::ostream& mmx::texp::operator<<	(	std::ostream &	o,
		const TYPE< X > &	t
	)		[inline]

Definition at line 28 of file texp_demangle.hpp.

  {
    return print<X>( o );
  };

std::ostream& mmx::texp::operator<<	(	std::ostream &	o,
		const template_expression< unary_operator<O, A > > &	a
	)		[inline]

Definition at line 290 of file texp_expression.hpp.

References template_expression< A >::a, and name().

  {
    return (o << O::name() << "(" << a.a << ")");
  };

std::ostream& mmx::texp::operator<<	(	std::ostream &	o,
		const binary_operator_prototype< op, X, Y > &	b
	)

Definition at line 163 of file texp_operators_prototypes.hpp.

  {
    typedef binary_operator_prototype<op,X,Y> proto;
    o << " name = ";    
    print<proto>(o);
    o << std::endl;
    o << "\tdefault = ";
    print<typename proto::F>(o); 
    o << std::endl;
    o << "\tslot 0  = ";
    print<typename proto::U>(o); 
    o << std::endl;
    o << "\tslot 1  = ";
    print<typename proto::V>(o); 
    o << std::endl;
    return o;
  };

std::ostream& mmx::texp::operator<<	(	std::ostream &	o,
		const template_expression< binary_operator<O, A, B > > &	a
	)		[inline]

Definition at line 296 of file texp_expression.hpp.

References template_expression< A >::a, and name().

  {
    o << O::name() << "(";
    o << a.a << "," << a.b << ")";
    return o;
  };

texp::template_expression< texp::binary_operator< _pow_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator^	(	const X &	x,
		const texp::template_expression< Y > &	y
	)		[inline]

Definition at line 18 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _pow_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator^	(	const texp::template_expression< X > &	x,
		const texp::template_expression< Y > &	y
	)		[inline]

Definition at line 18 of file texp_operators_prototypes.hpp.

{

texp::template_expression< texp::binary_operator< _pow_ , texp::template_expression<X>, texp::template_expression<Y> > > mmx::texp::operator^	(	const texp::template_expression< X > &	x,
		const Y &	y
	)		[inline]

Definition at line 18 of file texp_operators_prototypes.hpp.

{

X& mmx::texp::pow	(	X &	r,
		const texp::template_expression< Y > &	exp
	)

Definition at line 18 of file texp_operators_prototypes.hpp.

{

std::ostream& mmx::texp::print

(

std::ostream &

o

)

[inline]

Definition at line 16 of file texp_demangle.hpp.

References name().

Referenced by mmx::print().

  {
    size_t len; 
    int status;
    o << abi::__cxa_demangle( typeid(X).name(), 0, &len, &status );
    return o;
  };

X& mmx::texp::sub	(	X &	r,
		const texp::template_expression< Y > &	exp
	)

Definition at line 15 of file texp_operators_prototypes.hpp.

{

void mmx::texp::sub	(	double &	a,
		double	b,
		double	c
	)		[inline]

Definition at line 5 of file texp_double.hpp.

Referenced by Interval< double >::operator-=().

{ a=b-c;}