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
impl ProdRule
Sourcepub fn new(raw: &ProdRule, problem: &SynthFun) -> Self
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§
Auto Trait Implementations§
impl Freeze for ProdRule
impl RefUnwindSafe for ProdRule
impl Send for ProdRule
impl Sync for ProdRule
impl Unpin for ProdRule
impl UnwindSafe for ProdRule
Blanket Implementations§
Source§impl<T> AllocForAny<T> for T
impl<T> AllocForAny<T> for T
Source§fn galloc(self) -> &'static T
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
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> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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