Enum SubProblem

Source

pub enum SubProblem<'a> {
    Unsolved(Bits, f32),
    Accept(usize),
    Ite {
        expr: usize,
        entropy: f32,
        t: SubProb<'a>,
        f: SubProb<'a>,
    },
}

Expand description

An enum representing subproblems within a decision tree learning process for string synthesis.

Variants§

§

Unsolved(Bits, f32)

§

Accept(usize)

§

Ite

Fields

§expr: usize

§entropy: f32

§t: SubProb<'a>

§f: SubProb<'a>

Implementations§

Source §

impl<'a> SubProblem<'a>

Source

pub fn add_subproblems(&self, subproblem: &mut Vec<(SubProb<'a>, bool)>)

Adds subproblems for exploration in the decision tree.

Auto Trait Implementations§

§

impl<'a> !UnwindSafe for SubProblem<'a>

Blanket Implementations§

Source §

impl<T> AllocForAny<T> for T

Source §

fn galloc(self) -> &'static T

Provides a method to allocate an instance of T on the heap with a static lifetime.

This implementation of galloc takes ownership of the T instance and uses the alloc function to place it in a location with a static lifetime, presumably managing it in a way that ensures its persistence for the duration of the program. This can be particularly useful for scenarios where a static lifetime is required, such as when interfacing with systems or patterns that necessitate global state or long-lived data.

Source §

fn galloc_mut(self) -> &'static T

Provides a method that moves the instance and returns a reference to it allocated with a static lifetime.

This method utilizes alloc_mut to perform the allocation, likely involving allocating the resource in a manner that ensures it lives for the entire duration of the application. These semantics allow the user to safely assume that the reference will not expire during the program’s execution, making it suitable for long-lived data structures or operations that require such guarantees.

Source §

impl<T> Any for T
where T: 'static + ?Sized,

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

impl<T> Borrow<T> for T
where T: ?Sized,

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> IntoEither for T

Source §

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §