Enum ProdRule

Source
pub enum ProdRule {
    Const(ConstValue),
    Var(i64),
    Nt(usize),
    Op1(&'static Op1Enum, usize),
    Op2(&'static Op2Enum, usize, usize),
    Op3(&'static Op3Enum, usize, usize, usize),
}
Expand description

An enum representing production rules for expressions in the synthesis problem framework.

This variant can encompass constants, variables, and non-terminal symbols along with unary, binary, and ternary operations. Each variant includes a formatting directive, used for debugging purposes, to provide a human-readable description of its content. The Const variant holds a constant value, Var represents a variable identified by an integer, and Nt refers to a non-terminal symbol using an index. The Op1, Op2, and Op3 variants represent unary, binary, and ternary operations, respectively, each associated with operator enumerations and indices to expressions they relate to. This structure facilitates both the expression construction and the debugging process in the synthesis tasks.

Variants§

§

Const(ConstValue)

§

Var(i64)

§

Nt(usize)

§

Op1(&'static Op1Enum, usize)

§

Op2(&'static Op2Enum, usize, usize)

§

Op3(&'static Op3Enum, usize, usize, usize)

Implementations§

Source§

impl ProdRule

Source

pub fn new(raw: &ProdRule, problem: &SynthFun) -> Self

Creates a new instance from a raw production rule and a synthesis function problem context.

It matches various kinds of production rules such as variables, constants, and operations, transforming them into corresponding variants. For variables, it checks if the variable corresponds to an argument in the synthesis function, returning either a variable or a nonterminal rule. The constant variant simply maps to its equivalent, maintaining its value. For operations, it maps the operation names to their respective enums with memory allocation and resolves nonterminals using the synthesis function’s context, ensuring that each element corresponds to a valid component in the synthesis task. Any unrecognized variables or nonterminals lead to a panic.

Trait Implementations§

Source§

impl Clone for ProdRule

Source§

fn clone(&self) -> ProdRule

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for ProdRule

Source§

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

Formats the value using the given formatter. Read more
Source§

impl ProdRuleEnumerateExt for ProdRule

Source§

fn enumerate(&self, exec: &'static Executor) -> Result<(), ()>

Extend production rule with the ability to enumerate.

Auto Trait Implementations§

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> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> 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§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V