Enum RecurFunctionType 

pub enum RecurFunctionType {
    Zero,
    Successor,
    Projection(u32, u32),
    Composition(Box<RecurFunction>, Vec<RecurFunction>),
    Primitive(Box<RecurFunction>, Box<RecurFunction>),
    Minimization(Box<RecurFunction>, u32),
}

Types of recursive functions.

Variants

Zero

zero function.

Successor

succesor function.

Projection(u32, u32)

projection function with arguments count and argument number.

Composition(Box<RecurFunction>, Vec<RecurFunction>)

composition function with base function and functions to use.

Primitive(Box<RecurFunction>, Box<RecurFunction>)

primitive function with base function and step function.

Minimization(Box<RecurFunction>, u32)

minimization function with base function and max tries.

Trait Implementations

impl Clone for RecurFunctionType

fn clone(&self) -> RecurFunctionType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RecurFunctionType

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

Formats the value using the given formatter.

impl PartialEq for RecurFunctionType

fn eq(&self, other: &RecurFunctionType) -> 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 StructuralPartialEq for RecurFunctionType