Enum weresocool_ast::generator::GenOp

pub enum GenOp {
    Named {
        name: String,
        seed: u64,
    },
    Const {
        gen: Generator,
        seed: u64,
    },
    Taken {
        gen: Box<GenOp>,
        n: usize,
        seed: u64,
    },
}

Variants

Named

Fields

name: String

seed: u64

Const

Fields

gen: Generator

seed: u64

Taken

Fields

gen: Box<GenOp>

n: usize

seed: u64

Implementations

impl GenOp

pub fn term_vectors_from_genop( self, n: Option<usize>, defs: &mut Defs<Term> ) -> Result<Vec<Op>, Error>

pub fn generate_from_genop( self, input: &mut NormalForm, n: Option<usize>, defs: &mut Defs<Term> ) -> Result<Vec<NormalForm>, Error>

impl GenOp

pub fn length(&self, defs: &mut Defs<Term>) -> Result<usize, Error>

pub fn get_length_ratio_genop( &self, n: Option<usize>, normal_form: &NormalForm, defs: &mut Defs<Term> ) -> Result<Rational64, Error>

impl GenOp

pub fn init_named(name: String, seed: Option<(&str, i64)>) -> Self

pub fn init_const(gen: Generator, seed: Option<(&str, i64)>) -> Self

pub fn init_taken(gen: GenOp, n: usize, seed: Option<(&str, i64)>) -> Self

pub fn set_seed(&mut self, new_seed: u64)

Trait Implementations

impl Clone for GenOp

fn clone(&self) -> GenOp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GenOp

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

Formats the value using the given formatter.

impl GetLengthRatio<Term> for GenOp

fn get_length_ratio( &self, normal_form: &NormalForm, defs: &mut Defs<Term> ) -> Result<Rational64, Error>

impl Hash for GenOp

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 Normalize<Term> for GenOp

fn apply_to_normal_form( &self, input: &mut NormalForm, defs: &mut Defs<Term> ) -> Result<(), Error>

impl PartialEq<GenOp> for GenOp

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Substitute<Term> for GenOp

fn substitute( &self, _normal_form: &mut NormalForm, defs: &mut Defs<Term> ) -> Result<Term, Error>

impl StructuralPartialEq for GenOp