Struct Fraction 

pub struct Fraction {
    negated: bool,
    numerator: u32,
    denominator: u32,
}

Type to representing a fraction

Fields

negated: bool

True if the fraction is smaller than 0

numerator: u32

Numerator

denominator: u32

Denominator

Implementations

impl Fraction

pub fn is_negative(&self) -> bool

Returns true if the fraction is smaller than 0

Example

use taco_threshold_automaton::expressions::fraction::Fraction;

// 1/2
let f = Fraction::new(1, 2, false);
assert_eq!(f.is_negative(), false);

// -1/2
let f = Fraction::new(1, 2, true);
assert_eq!(f.is_negative(), true);

pub fn is_integer(&self) -> bool

Check whether the fraction represents an integer

Example

use taco_threshold_automaton::expressions::fraction::Fraction;

// 1/2 cannot be represented as an integer
let f = Fraction::new(1, 2, false);
assert_eq!(f.is_integer(), false);

// 2/2 -> 1
let f = Fraction::new(2, 2, false);
assert_eq!(f.is_integer(), true);

fn is_simplified(&self) -> bool

Check if the fraction is simplified

pub fn new(numerator: u32, denominator: u32, negated: bool) -> Self

Create a new fraction

Create a new fraction with the given numerator and denominator. Upon creation, the fraction is simplified to the maximal possible extent.

Example

use taco_threshold_automaton::expressions::fraction::Fraction;

let f = Fraction::new(42, 2, false);

assert_eq!(i64::try_from(f).unwrap(), 21);
assert_eq!(f.is_negative(), false);
assert_eq!(f.numerator(), 21);
assert_eq!(f.denominator(), 1);

fn canonicalize(self) -> Self

Simplify the fraction to the maximal possible extent and canonicalize its representation

pub fn inverse(&self) -> Self

Compute the inverse of the fraction

Panics if the numerator of the fraction is 0

Example

use taco_threshold_automaton::expressions::fraction::Fraction;

let f1 = Fraction::new(13, 2, false).inverse();
let f2 = Fraction::new(2, 13, false);
assert_eq!(f1, f2);

pub fn denominator(&self) -> u32

Get the denominator of the fraction

Example

use taco_threshold_automaton::expressions::fraction::Fraction;

let f = Fraction::new(13, 2, false);
assert_eq!(f.denominator(), 2);

pub fn numerator(&self) -> u32

Get the numerator of the fraction

Example

use taco_threshold_automaton::expressions::fraction::Fraction;

let f = Fraction::new(42, 1, false);
assert_eq!(f.numerator(), 42);

Trait Implementations

impl Add for Fraction

type Output = Fraction

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl AddAssign for Fraction

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl Clone for Fraction

fn clone(&self) -> Fraction

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Fraction

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Fraction

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Div for Fraction

type Output = Fraction

The resulting type after applying the / operator.

fn div(self, rhs: Self) -> Self::Output

Performs the / operation.

impl DivAssign for Fraction

fn div_assign(&mut self, rhs: Self)

Performs the /= operation.

impl<T: Atomic> From<Fraction> for IntegerExpression<T>

fn from(value: Fraction) -> Self

Converts to this type from the input type.

impl From<u32> for Fraction

fn from(value: u32) -> Self

Converts to this type from the input type.

impl Hash for Fraction

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Mul for Fraction

type Output = Fraction

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self::Output

Performs the * operation.

impl MulAssign for Fraction

fn mul_assign(&mut self, rhs: Self)

Performs the *= operation.

impl Neg for Fraction

type Output = Fraction

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Ord for Fraction

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for Fraction

fn eq(&self, other: &Fraction) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Fraction

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Sub for Fraction

type Output = Fraction

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self::Output

Performs the - operation.

impl SubAssign for Fraction

fn sub_assign(&mut self, rhs: Self)

Performs the -= operation.

impl TryFrom<Fraction> for i64

fn try_from(value: Fraction) -> Result<Self, Self::Error>

Try to convert the fraction into an integer

type Error = ()

The type returned in the event of a conversion error.

impl Copy for Fraction

impl Eq for Fraction

impl StructuralPartialEq for Fraction