pub struct StepFactory;Expand description
Step factory for creating enhanced steps
Implementations§
Source§impl StepFactory
impl StepFactory
Sourcepub fn linear_introduction(
equation: &Expression,
variable: &Symbol,
) -> EnhancedStep
pub fn linear_introduction( equation: &Expression, variable: &Symbol, ) -> EnhancedStep
Generate linear equation introduction step
Sourcepub fn linear_introduction_with_format(
equation: &Expression,
variable: &Symbol,
context: &FormatContext,
) -> EnhancedStep
pub fn linear_introduction_with_format( equation: &Expression, variable: &Symbol, context: &FormatContext, ) -> EnhancedStep
Generate linear equation introduction step with custom format
Sourcepub fn linear_strategy(variable: &Symbol) -> EnhancedStep
pub fn linear_strategy(variable: &Symbol) -> EnhancedStep
Generate linear equation strategy step
Sourcepub fn linear_strategy_with_format(
variable: &Symbol,
_context: &FormatContext,
) -> EnhancedStep
pub fn linear_strategy_with_format( variable: &Symbol, _context: &FormatContext, ) -> EnhancedStep
Generate linear equation strategy step with custom format
Sourcepub fn linear_coefficient_identification(
a: &Expression,
b: &Expression,
variable: &Symbol,
) -> SmartStep
pub fn linear_coefficient_identification( a: &Expression, b: &Expression, variable: &Symbol, ) -> SmartStep
Generate coefficient identification step
Sourcepub fn linear_coefficient_identification_with_format(
a: &Expression,
b: &Expression,
variable: &Symbol,
context: &FormatContext,
) -> SmartStep
pub fn linear_coefficient_identification_with_format( a: &Expression, b: &Expression, variable: &Symbol, context: &FormatContext, ) -> SmartStep
Generate coefficient identification step with custom format
Sourcepub fn linear_solution_calculation(
variable: &Symbol,
solution: &Expression,
a: &Expression,
b: &Expression,
) -> SmartStep
pub fn linear_solution_calculation( variable: &Symbol, solution: &Expression, a: &Expression, b: &Expression, ) -> SmartStep
Generate solution calculation step
Sourcepub fn linear_solution_calculation_with_format(
variable: &Symbol,
solution: &Expression,
a: &Expression,
b: &Expression,
context: &FormatContext,
) -> SmartStep
pub fn linear_solution_calculation_with_format( variable: &Symbol, solution: &Expression, a: &Expression, b: &Expression, context: &FormatContext, ) -> SmartStep
Generate solution calculation step with custom format
Sourcepub fn linear_verification(
equation: &Expression,
variable: &Symbol,
solution: &Expression,
) -> SmartStep
pub fn linear_verification( equation: &Expression, variable: &Symbol, solution: &Expression, ) -> SmartStep
Generate verification step
Sourcepub fn linear_verification_with_format(
equation: &Expression,
variable: &Symbol,
solution: &Expression,
context: &FormatContext,
) -> SmartStep
pub fn linear_verification_with_format( equation: &Expression, variable: &Symbol, solution: &Expression, context: &FormatContext, ) -> SmartStep
Generate verification step with custom format
Sourcepub fn linear_no_solution(equation: &Expression) -> SmartStep
pub fn linear_no_solution(equation: &Expression) -> SmartStep
Generate no solution step
Sourcepub fn linear_no_solution_with_format(
equation: &Expression,
context: &FormatContext,
) -> SmartStep
pub fn linear_no_solution_with_format( equation: &Expression, context: &FormatContext, ) -> SmartStep
Generate no solution step with custom format
Sourcepub fn linear_infinite_solutions(
equation: &Expression,
variable: &Symbol,
) -> SmartStep
pub fn linear_infinite_solutions( equation: &Expression, variable: &Symbol, ) -> SmartStep
Generate infinite solutions step
Sourcepub fn linear_infinite_solutions_with_format(
equation: &Expression,
variable: &Symbol,
context: &FormatContext,
) -> SmartStep
pub fn linear_infinite_solutions_with_format( equation: &Expression, variable: &Symbol, context: &FormatContext, ) -> SmartStep
Generate infinite solutions step with custom format
Auto Trait Implementations§
impl Freeze for StepFactory
impl RefUnwindSafe for StepFactory
impl Send for StepFactory
impl Sync for StepFactory
impl Unpin for StepFactory
impl UnwindSafe for StepFactory
Blanket Implementations§
§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
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>
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 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>
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