Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended > Class Template Reference

#include <intervals_defs.hh>

Inheritance diagram for Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >:

Collaboration diagram for Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >:

Public Types
typedef T	value_type

Public Member Functions
	I_Constraint ()
	I_Constraint (I_Constraint_Rel r, Arg_Type v)
	I_Constraint (I_Constraint_Rel r, const T &v, bool force)
template<typename U >
	I_Constraint (I_Constraint_Rel r, const U &v)
void	set (I_Constraint_Rel r, Arg_Type v)
void	set (I_Constraint_Rel r, const T &v, bool force)
template<typename U >
void	set (I_Constraint_Rel r, const U &v)
Return_Type	value () const
Result	rel () const
Public Member Functions inherited from Parma_Polyhedra_Library::I_Constraint_Common< I_Constraint< T, Val_Or_Ref_Criteria, extended > >
Result	convert_real (T &to) const
Result	convert_real (T &to1, Result &rel2, T &to2) const
Result	convert_integer (T &to) const

Private Types
typedef Val_Or_Ref< T, Val_Or_Ref_Criteria >	Val_Ref
typedef Val_Ref::Arg_Type	Arg_Type
typedef Val_Ref::Return_Type	Return_Type

Private Attributes
Result	rel_
Val_Ref	value_

Detailed Description

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>
class Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >

Definition at line 397 of file intervals_defs.hh.

Member Typedef Documentation

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

typedef Val_Ref::Arg_Type Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::Arg_Type

private

Definition at line 401 of file intervals_defs.hh.

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

typedef Val_Ref::Return_Type Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::Return_Type

private

Definition at line 402 of file intervals_defs.hh.

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

typedef Val_Or_Ref<T, Val_Or_Ref_Criteria> Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::Val_Ref

private

Definition at line 400 of file intervals_defs.hh.

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

typedef T Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::value_type

Definition at line 406 of file intervals_defs.hh.

Constructor & Destructor Documentation

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::I_Constraint ( )

inlineexplicit

Definition at line 407 of file intervals_defs.hh.

    : rel_(V_LGE) {
  }

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::I_Constraint ( I_Constraint_Rel  r, Arg_Type  v  )

inline

Definition at line 410 of file intervals_defs.hh.

    : rel_(r), value_(v) {
  }

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::I_Constraint ( I_Constraint_Rel  r, const T &  v, bool  force  )

inline

Definition at line 413 of file intervals_defs.hh.

    : rel_(r), value_(v, force) {
  }

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

template<typename U >

Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::I_Constraint ( I_Constraint_Rel  r, const U &  v  )

inline

Definition at line 417 of file intervals_defs.hh.

    : rel_(r), value_(v) {
  }

Member Function Documentation

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

Result Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::rel ( ) const

inline

Definition at line 436 of file intervals_defs.hh.

References Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::rel_.

                     {
    return rel_;
  }

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

void Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::set ( I_Constraint_Rel  r, Arg_Type  v  )

inline

Definition at line 420 of file intervals_defs.hh.

Referenced by Parma_Polyhedra_Library::Box< ITV >::Box(), and Parma_Polyhedra_Library::Box< ITV >::generalized_affine_image().

                                           {
    rel_ =  r;
    value_.set(v);
  }

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

void Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::set ( I_Constraint_Rel  r, const T &  v, bool  force  )

inline

Definition at line 424 of file intervals_defs.hh.

                                                       {
    rel_ =  r;
    value_.set(v, force);
  }

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

template<typename U >

void Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::set ( I_Constraint_Rel  r, const U &  v  )

inline

Definition at line 429 of file intervals_defs.hh.

                                           {
    rel_ = r;
    value_.set(v);
  }

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

Return_Type Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::value ( ) const

inline

Definition at line 433 of file intervals_defs.hh.

References Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::value_.

                            {
    return value_;
  }

Member Data Documentation

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

Result Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::rel_

private

Definition at line 403 of file intervals_defs.hh.

Referenced by Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::rel().

template<typename T, typename Val_Or_Ref_Criteria = Use_Slow_Copy, bool extended = false>

Val_Ref Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::value_

private

Definition at line 404 of file intervals_defs.hh.

Referenced by Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >::value().

---

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

• intervals_defs.hh