mie::VsintT< V > Class Template Reference

#include <zm.h>

Inheritance diagram for mie::VsintT< V >:

Collaboration diagram for mie::VsintT< V >:

Public Types
typedef V::value_type	value_type

Public Member Functions
	VsintT (int x=0)
	VsintT (const std::string &str)
	VsintT (const V &x)
void	set (value_type x)
void	set (int64_t x)
void	set (const V &x)
void	set (const uint64_t *ptr, size_t size)
const V &	get () const
V &	get ()
void	clear ()
std::string	toString (int base=10) const
void	set (const std::string &str, int base=10)
void	fromStr (const std::string &str, int base=10)
std::string	toStr (int base=10)
size_t	size () const
bool	isZero () const
bool	isNegative () const
V	abs () const
VsintT	operator<< (size_t n) const
VsintT &	operator<<= (size_t n)
Public Member Functions inherited from mie::local::addsubmul< VsintT< V >, local::comparable< VsintT< V >, local::dividable< VsintT< V >, local::hasNegative< VsintT< V >, local::shiftable< VsintT< V > > > > > >
MIE_FORCE_INLINE VsintT< V > &	operator+= (const N &rhs)
MIE_FORCE_INLINE VsintT< V > &	operator-= (const VsintT< V > &rhs)
MIE_FORCE_INLINE VsintT< V > &	operator*= (const VsintT< V > &rhs)
Public Member Functions inherited from mie::local::dividable< VsintT< V >, local::hasNegative< VsintT< V >, local::shiftable< VsintT< V > > > >
MIE_FORCE_INLINE VsintT< V > &	operator/= (const VsintT< V > &rhs)
MIE_FORCE_INLINE VsintT< V > &	operator%= (const VsintT< V > &rhs)
Public Member Functions inherited from mie::local::hasNegative< VsintT< V >, local::shiftable< VsintT< V > > >
MIE_FORCE_INLINE VsintT< V >	operator- () const
Public Member Functions inherited from mie::local::shiftable< VsintT< V > >
MIE_FORCE_INLINE VsintT< V >	operator<< (size_t n) const
MIE_FORCE_INLINE VsintT< V >	operator>> (size_t n) const
MIE_FORCE_INLINE VsintT< V > &	operator<<= (size_t n)
MIE_FORCE_INLINE VsintT< V > &	operator>>= (size_t n)

Static Public Member Functions
static int	compare (const VsintT &x, const VsintT &y)
static void	add (VsintT &out, const VsintT &x, const VsintT &y)
static void	sub (VsintT &out, const VsintT &x, const VsintT &y)
static void	mul (VsintT &out, const VsintT &x, const VsintT &y)
static bool	div (VsintT *q, VsintT &r, const VsintT &x, const VsintT &y)
static void	neg (VsintT &out, const VsintT &x)
static void	shl (VsintT &out, const VsintT &x, size_t n)
static void	shr (VsintT &out, const VsintT &x, size_t n)
static void	absolute (V &out, const VsintT &in)

Friends
std::ostream &	operator<< (std::ostream &os, const VsintT &x)
std::istream &	operator>> (std::istream &is, VsintT &x)

Detailed Description

template<class V>
class mie::VsintT< V >

Definition at line 959 of file zm.h.

Member Typedef Documentation

value_type

template<class V >

V::value_type mie::VsintT< V >::value_type

Definition at line 967 of file zm.h.

Constructor & Destructor Documentation

VsintT() [1/3]

template<class V >

mie::VsintT< V >::VsintT ( int x = 0 )

inline

Definition at line 968 of file zm.h.

        : v_(::abs(x))
        , isNeg_(x < 0)
    {
    }

VsintT() [2/3]

template<class V >

mie::VsintT< V >::VsintT ( const std::string & str )

inlineexplicit

Definition at line 973 of file zm.h.

    {
        set(str);
    }

VsintT() [3/3]

template<class V >

mie::VsintT< V >::VsintT ( const V & x )

inline

Definition at line 977 of file zm.h.

        : v_(x)
        , isNeg_(false)
    {
    }

Member Function Documentation

abs()

template<class V >

V mie::VsintT< V >::abs ( ) const

inline

Definition at line 1149 of file zm.h.

{ V x; absolute(x, *this); return x; }

Here is the call graph for this function:

Here is the caller graph for this function:

absolute()

template<class V >

static void mie::VsintT< V >::absolute ( V & out, const VsintT< V > & in )

inlinestatic

Definition at line 1144 of file zm.h.

    {
        out = in.get();
    }

Here is the caller graph for this function:

add()

template<class V >

static void mie::VsintT< V >::add ( VsintT< V > & out, const VsintT< V > & x, const VsintT< V > & y )

inlinestatic

Definition at line 1033 of file zm.h.

    {
        if ((x.isNeg_ ^ y.isNeg_) == 0) {
            // same sign
            V::add(out.v_, x.v_, y.v_);
            out.isNeg_ = x.isNeg_;
            return;
        }
        int r = V::compare(x.v_, y.v_);
        if (r >= 0) {
            V::sub(out.v_, x.v_, y.v_);
            out.isNeg_ = x.isNeg_;
        } else {
            V::sub(out.v_, y.v_, x.v_);
            out.isNeg_ = y.isNeg_;
        }
    }

clear()

template<class V >

void mie::VsintT< V >::clear ( )

inline

Definition at line 999 of file zm.h.

{ v_.set((value_type)0); isNeg_ = false; }

compare()

template<class V >

static int mie::VsintT< V >::compare ( const VsintT< V > & x, const VsintT< V > & y )

inlinestatic

Definition at line 1020 of file zm.h.

    {
        if (x.isNeg_ ^ y.isNeg_) {
            if (x.isZero() && y.isZero()) return 0;
            return x.isNeg_ ? -1 : 1;
        } else {
            // same sign
            return V::compare(x.v_, y.v_) * (x.isNeg_ ? -1 : 1);
        }
    }

Here is the call graph for this function:

div()

template<class V >

static bool mie::VsintT< V >::div ( VsintT< V > * q, VsintT< V > & r, const VsintT< V > & x, const VsintT< V > & y )

inlinestatic

Definition at line 1073 of file zm.h.

    {
#if 1
        // like Python
        //  13 / -5 = -3 ... -2
        // -13 /  5 = -3 ...  2
        // -13 / -5 =  2 ... -3
        V yy = y.v_;
        bool ret = V::div(q ? &(q->v_) : 0, r.v_, x.v_, y.v_);
        if (!ret) return false;
        bool qsign = x.isNeg_ ^ y.isNeg_;
        if (r.v_.isZero()) {
            r.isNeg_ = false;
        } else {
            if (qsign) {
                if (q) {
                    q->v_ += 1;
                }
                r.v_ = yy - r.v_;
            }
            r.isNeg_ = y.isNeg_;
        }
        if (q) q->isNeg_ = qsign;
        return true;
#else
        //  13 / -5 = -2 ...  3
        // -13 /  5 = -2 ... -3
        // -13 / -5 =  2 ... -3
        bool ret = V::div(q ? &(q->v_) : 0, r.v_, x.v_, y.v_);
        bool qsign = x.isNeg_ ^ y.isNeg_;
        r.isNeg_ = x.isNeg_;
        if (q) q->isNeg_ = qsign;
        return ret;
#endif
    }

Here is the call graph for this function:

fromStr()

template<class V >

void mie::VsintT< V >::fromStr ( const std::string & str, int base = 10 )

inline

Definition at line 1015 of file zm.h.

    {
        set(str, base);
    }

get() [1/2]

template<class V >

V & mie::VsintT< V >::get ( )

inline

Definition at line 998 of file zm.h.

{ return v_; }

get() [2/2]

template<class V >

const V & mie::VsintT< V >::get ( ) const

inline

Definition at line 997 of file zm.h.

{ return v_; }

isNegative()

template<class V >

bool mie::VsintT< V >::isNegative ( ) const

inline

Definition at line 1032 of file zm.h.

{ return isNeg_ && !isZero(); }

Here is the call graph for this function:

Here is the caller graph for this function:

isZero()

template<class V >

bool mie::VsintT< V >::isZero ( ) const

inline

Definition at line 1031 of file zm.h.

{ return v_.isZero(); }

Here is the caller graph for this function:

mul()

template<class V >

static void mie::VsintT< V >::mul ( VsintT< V > & out, const VsintT< V > & x, const VsintT< V > & y )

inlinestatic

Definition at line 1068 of file zm.h.

    {
        V::mul(out.v_, x.v_, y.v_);
        out.isNeg_ = x.isNeg_ ^ y.isNeg_;
    }

neg()

template<class V >

static void mie::VsintT< V >::neg ( VsintT< V > & out, const VsintT< V > & x )

inlinestatic

Definition at line 1108 of file zm.h.

    {
        out.v_ = x.v_;
        out.isNeg_ = !x.isNeg_;
    }

operator<<()

template<class V >

VsintT mie::VsintT< V >::operator<< ( size_t n ) const

inline

Definition at line 1150 of file zm.h.

    {
        VsintT out; shl(out, *this, n); return out;
    }

Here is the call graph for this function:

operator<<=()

template<class V >

VsintT & mie::VsintT< V >::operator<<= ( size_t n )

inline

Definition at line 1154 of file zm.h.

    {
        shl(*this, *this, n); return *this;
    }

Here is the call graph for this function:

set() [1/5]

template<class V >

void mie::VsintT< V >::set ( const std::string & str, int base = 10 )

inline

Definition at line 1005 of file zm.h.

    {
        isNeg_ = false;
        if (str.size() > 0 && str[0] == '-') {
            isNeg_ = true;
            v_.set(&str[1], base);
        } else {
            v_.set(str, base);
        }
    }

set() [2/5]

template<class V >

void mie::VsintT< V >::set ( const uint64_t * ptr, size_t size )

inline

Definition at line 996 of file zm.h.

{ v_.set(ptr, size); }

Here is the call graph for this function:

set() [3/5]

template<class V >

void mie::VsintT< V >::set ( const V & x )

inline

Definition at line 991 of file zm.h.

    {
        v_ = x;
        isNeg_ = false;
    }

set() [4/5]

template<class V >

void mie::VsintT< V >::set ( int64_t x )

inline

Definition at line 986 of file zm.h.

    {
        isNeg_ = x < 0;
        v_.set(isNeg_ ? -x : x);
    }

set() [5/5]

template<class V >

void mie::VsintT< V >::set ( value_type x )

inline

Definition at line 982 of file zm.h.

    {
        v_.set(x);
    }

Here is the caller graph for this function:

shl()

template<class V >

static void mie::VsintT< V >::shl ( VsintT< V > & out, const VsintT< V > & x, size_t n )

inlinestatic

Definition at line 1125 of file zm.h.

    {
        V::shl(out.v_, x.v_, n);
        out.isNeg_ = x.isNeg_;
    }

Here is the caller graph for this function:

shr()

template<class V >

static void mie::VsintT< V >::shr ( VsintT< V > & out, const VsintT< V > & x, size_t n )

inlinestatic

Definition at line 1130 of file zm.h.

    {
        if (x.isZero()) {
            out.clear();
            return;
        }
        if (x.isNeg_) {
            local::errExit("shr can't deal with negative value");
        } else {
            V::shr(out.v_, x.v_, n);
            out.isNeg_ = false;
        }
    }

Here is the call graph for this function:

size()

template<class V >

size_t mie::VsintT< V >::size ( ) const

inline

Definition at line 1030 of file zm.h.

{ return v_.size(); }

Here is the caller graph for this function:

sub()

template<class V >

static void mie::VsintT< V >::sub ( VsintT< V > & out, const VsintT< V > & x, const VsintT< V > & y )

inlinestatic

Definition at line 1050 of file zm.h.

    {
        if (x.isNeg_ ^ y.isNeg_) {
            // different sign
            V::add(out.v_, x.v_, y.v_);
            out.isNeg_ = x.isNeg_;
            return;
        }
        // same sign
        int r = V::compare(x.v_, y.v_);
        if (r >= 0) {
            V::sub(out.v_, x.v_, y.v_);
            out.isNeg_ = x.isNeg_;
        } else {
            V::sub(out.v_, y.v_, x.v_);
            out.isNeg_ = !y.isNeg_;
        }
    }

toStr()

template<class V >

std::string mie::VsintT< V >::toStr ( int base = 10 )

inline

Definition at line 1019 of file zm.h.

{ return toString(base); }

Here is the call graph for this function:

toString()

template<class V >

std::string mie::VsintT< V >::toString ( int base = 10 ) const

inline

Definition at line 1000 of file zm.h.

    {
        if (isNeg_) return "-" + v_.toString(base);
        return v_.toString(base);
    }

Here is the caller graph for this function:

Friends And Related Symbol Documentation

operator<<

template<class V >

std::ostream & operator<< ( std::ostream & os, const VsintT< V > & x )

friend

Definition at line 1113 of file zm.h.

    {
        if (x.isNeg_) os << "-";
        return os << x.v_;
    }

operator>>

template<class V >

std::istream & operator>> ( std::istream & is, VsintT< V > & x )

friend

Definition at line 1118 of file zm.h.

    {
        std::string str;
        local::getDigits(is, str, true);
        x.set(str);
        return is;
    }

---

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

• libraries/fc/libraries/ff/depends/ate-pairing/include/zm.h