Givaro
Public Member Functions | Static Public Member Functions | Data Fields
rint< K > Class Template Reference

#include <rrint.h>

Public Member Functions

 rint ()
 
 rint (const rint< K > &r)
 
 rint (const rint< K-1 > &rl)
 
 rint (const ruint< K > &r)
 
template<typename T >
 rint (const T &b)
 
template<typename T >
 operator T () const
 
bool isNegative () const
 
bool isPositive () const
 
rint< 6 > maxFFLAS ()
 

Static Public Member Functions

static const std::string type_string ()
 
static rint< K > maxCardinality ()
 
static rint< K > maxElement ()
 
static rint< K > maxFFLAS ()
 

Data Fields

ruint< K > Value
 

Constructor & Destructor Documentation

◆ rint() [1/5]

rint ( )
inline

◆ rint() [2/5]

rint ( const rint< K > &  r)
inline

◆ rint() [3/5]

rint ( const rint< K-1 > &  rl)
inline

◆ rint() [4/5]

rint ( const ruint< K > &  r)
inline

◆ rint() [5/5]

rint ( const T &  b)
inline

Member Function Documentation

◆ type_string()

static const std::string type_string ( )
inlinestatic

◆ operator T()

operator T ( ) const
inline

◆ isNegative()

bool isNegative ( ) const
inline

◆ isPositive()

bool isPositive ( ) const
inline

◆ maxCardinality()

static rint<K> maxCardinality ( )
inlinestatic

◆ maxElement()

static rint<K> maxElement ( )
inlinestatic

◆ maxFFLAS() [1/2]

rint< K > maxFFLAS
inlinestatic

◆ maxFFLAS() [2/2]

rint< 6 > maxFFLAS ( )
inline

Field Documentation

◆ Value

ruint<K> Value

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