Struct LogicOutputProps 

pub struct LogicOutputProps {
    pub logic: Option<String>,
    pub simple_logic: Option<String>,
    pub kripke_logic: Option<String>,
    pub readings: Vec<String>,
    pub simple_readings: Vec<String>,
    pub kripke_readings: Vec<String>,
    pub error: Option<String>,
    pub format: OutputFormat,
}

Properties for the LogicOutput component.

Fields

logic: Option<String>

simple_logic: Option<String>

kripke_logic: Option<String>

readings: Vec<String>

simple_readings: Vec<String>

kripke_readings: Vec<String>

error: Option<String>

format: OutputFormat

Implementations

impl LogicOutputProps

pub fn builder() -> LogicOutputPropsBuilder<((), (), (), (), (), (), (), ())>

Create a builder for building LogicOutputProps. On the builder, call .logic(...)(optional), .simple_logic(...)(optional), .kripke_logic(...)(optional), .readings(...), .simple_readings(...), .kripke_readings(...), .error(...)(optional), .format(...) to set the values of the fields. Finally, call .build() to create the instance of LogicOutputProps.

Trait Implementations

impl Clone for LogicOutputProps

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl PartialEq for LogicOutputProps

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Properties for LogicOutputProps

where Self: Clone,

type Builder = LogicOutputPropsBuilder<((), (), (), (), (), (), (), ())>

The type of the builder for this component. Used to create “in-progress” versions of the props.

fn builder() -> Self::Builder

Create a builder for this component.

fn memoize(&mut self, new: &Self) -> bool

Make the old props equal to the new props. Return if the props were equal and should be memoized.

fn into_vcomponent<M>( self, render_fn: impl ComponentFunction<Self, M>, ) -> VComponent

where M: 'static,

Create a component from the props.