Loading...

Searching...

No Matches

Public Member Functions | Protected Member Functions | Protected Attributes | List of all members

rationalt Class Reference

#include <rational.h>

Public Member Functions

rationalt ()

rationalt (const mp_integer &i)

rationalt (int i)

rationalt & operator+= (const rationalt &n)

rationalt & operator-= (const rationalt &n)

rationalt & operator- ()

rationalt & operator*= (const rationalt &n)

rationalt & operator/= (const rationalt &n)

bool operator== (const rationalt &n) const

bool operator!= (const rationalt &n) const

bool operator< (const rationalt &n) const

bool operator<= (const rationalt &n) const

bool operator>= (const rationalt &n) const

bool operator> (const rationalt &n) const

bool is_zero () const

bool is_one () const

bool is_negative () const

void invert ()

const mp_integer & get_numerator () const

const mp_integer & get_denominator () const

Protected Member Functions

void normalize ()

void same_denominator (rationalt &n)

Protected Attributes

mp_integer numerator

mp_integer denominator

Detailed Description

Definition at line 15 of file rational.h.

Constructor & Destructor Documentation

◆ rationalt() [1/3]

rationalt::rationalt ( )

inline

Definition at line 26 of file rational.h.

◆ rationalt() [2/3]

rationalt::rationalt ( const mp_integer & i )

inlineexplicit

Definition at line 27 of file rational.h.

◆ rationalt() [3/3]

rationalt::rationalt ( int i )

inlineexplicit

Definition at line 28 of file rational.h.

Member Function Documentation

◆ get_denominator()

const mp_integer & rationalt::get_denominator ( ) const

inline

Definition at line 90 of file rational.h.

◆ get_numerator()

const mp_integer & rationalt::get_numerator ( ) const

inline

Definition at line 85 of file rational.h.

◆ invert()

void rationalt::invert ( )

Definition at line 92 of file rational.cpp.

◆ is_negative()

bool rationalt::is_negative ( ) const

inline

Definition at line 80 of file rational.h.

◆ is_one()

bool rationalt::is_one ( ) const

inline

Definition at line 77 of file rational.h.

◆ is_zero()

bool rationalt::is_zero ( ) const

inline

Definition at line 74 of file rational.h.

◆ normalize()

void rationalt::normalize ( )

protected

Definition at line 59 of file rational.cpp.

◆ operator!=()

bool rationalt::operator!= ( const rationalt & n ) const

inline

Definition at line 43 of file rational.h.

◆ operator*=()

rationalt & rationalt::operator*= ( const rationalt & n )

Definition at line 42 of file rational.cpp.

◆ operator+=()

rationalt & rationalt::operator+= ( const rationalt & n )

Definition at line 18 of file rational.cpp.

◆ operator-()

rationalt & rationalt::operator- ( )

Definition at line 36 of file rational.cpp.

◆ operator-=()

rationalt & rationalt::operator-= ( const rationalt & n )

Definition at line 27 of file rational.cpp.

◆ operator/=()

rationalt & rationalt::operator/= ( const rationalt & n )

Definition at line 50 of file rational.cpp.

◆ operator<()

bool rationalt::operator< ( const rationalt & n ) const

inline

Definition at line 50 of file rational.h.

◆ operator<=()

bool rationalt::operator<= ( const rationalt & n ) const

inline

Definition at line 57 of file rational.h.

◆ operator==()

bool rationalt::operator== ( const rationalt & n ) const

inline

Definition at line 36 of file rational.h.

◆ operator>()

bool rationalt::operator> ( const rationalt & n ) const

inline

Definition at line 69 of file rational.h.

◆ operator>=()

bool rationalt::operator>= ( const rationalt & n ) const

inline

Definition at line 64 of file rational.h.

◆ same_denominator()

void rationalt::same_denominator ( rationalt & n )

protected

Definition at line 79 of file rational.cpp.

Member Data Documentation

◆ denominator

mp_integer rationalt::denominator

protected

Definition at line 19 of file rational.h.

◆ numerator

mp_integer rationalt::numerator

protected

Definition at line 18 of file rational.h.

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

/home/runner/work/cbmc/cbmc/src/util/rational.h
/home/runner/work/cbmc/cbmc/src/util/rational.cpp