Struct leo_asg::reducer::BoolAnd [−][src]
pub struct BoolAnd(pub bool);
Trait Implementations
fn reduce_array_range_access(
&mut self,
input: &ArrayRangeAccessExpression<'a>,
array: T,
left: Option<T>,
right: Option<T>
) -> T
[src]fn reduce_call(
&mut self,
input: &CallExpression<'a>,
target: Option<T>,
arguments: Vec<T>
) -> T
[src]fn reduce_circuit_access(
&mut self,
input: &CircuitAccessExpression<'a>,
target: Option<T>
) -> T
[src]fn reduce_ternary_expression(
&mut self,
input: &TernaryExpression<'a>,
condition: T,
if_true: T,
if_false: T
) -> T
[src]fn reduce_assign_access(
&mut self,
input: &AssignAccess<'_>,
left: Option<BoolAnd>,
right: Option<BoolAnd>
) -> BoolAnd
[src]fn reduce_assign(
&mut self,
input: &AssignStatement<'_>,
accesses: Vec<BoolAnd>,
value: BoolAnd
) -> BoolAnd
[src]fn reduce_conditional_statement(
&mut self,
input: &ConditionalStatement<'_>,
condition: BoolAnd,
if_true: BoolAnd,
if_false: Option<BoolAnd>
) -> BoolAnd
[src]fn reduce_formatted_string(
&mut self,
input: &FormatString<'_>,
parameters: Vec<BoolAnd>
) -> BoolAnd
[src]fn reduce_expression_statement(
&mut self,
input: &ExpressionStatement<'_>,
expression: BoolAnd
) -> BoolAnd
[src]fn reduce_iteration(
&mut self,
input: &IterationStatement<'_>,
start: BoolAnd,
stop: BoolAnd,
body: BoolAnd
) -> BoolAnd
[src]Auto Trait Implementations
impl RefUnwindSafe for BoolAnd
impl UnwindSafe for BoolAnd