pub struct ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2> { /* private fields */ }
Expand description
A builder for a forall
operation.
Implementations§
source§impl<'c> ForallOperationBuilder<'c, Unset, Unset, Unset, Unset, Unset, Unset, Unset, Unset, Unset>
impl<'c> ForallOperationBuilder<'c, Unset, Unset, Unset, Unset, Unset, Unset, Unset, Unset, Unset>
source§impl<'c, O0, O1, O2, O3, R0, A0, A1, A2> ForallOperationBuilder<'c, Unset, O0, O1, O2, O3, R0, A0, A1, A2>
impl<'c, O0, O1, O2, O3, R0, A0, A1, A2> ForallOperationBuilder<'c, Unset, O0, O1, O2, O3, R0, A0, A1, A2>
pub fn results( self, results: &[Type<'c>] ) -> ForallOperationBuilder<'c, Set, O0, O1, O2, O3, R0, A0, A1, A2>
source§impl<'c, T0, O1, O2, O3, R0, A0, A1, A2> ForallOperationBuilder<'c, T0, Unset, O1, O2, O3, R0, A0, A1, A2>
impl<'c, T0, O1, O2, O3, R0, A0, A1, A2> ForallOperationBuilder<'c, T0, Unset, O1, O2, O3, R0, A0, A1, A2>
pub fn dynamic_lower_bound( self, dynamic_lower_bound: &[Value<'c, '_>] ) -> ForallOperationBuilder<'c, T0, Set, O1, O2, O3, R0, A0, A1, A2>
source§impl<'c, T0, O2, O3, R0, A0, A1, A2> ForallOperationBuilder<'c, T0, Set, Unset, O2, O3, R0, A0, A1, A2>
impl<'c, T0, O2, O3, R0, A0, A1, A2> ForallOperationBuilder<'c, T0, Set, Unset, O2, O3, R0, A0, A1, A2>
pub fn dynamic_upper_bound( self, dynamic_upper_bound: &[Value<'c, '_>] ) -> ForallOperationBuilder<'c, T0, Set, Set, O2, O3, R0, A0, A1, A2>
source§impl<'c, T0, O3, R0, A0, A1, A2> ForallOperationBuilder<'c, T0, Set, Set, Unset, O3, R0, A0, A1, A2>
impl<'c, T0, O3, R0, A0, A1, A2> ForallOperationBuilder<'c, T0, Set, Set, Unset, O3, R0, A0, A1, A2>
pub fn dynamic_step( self, dynamic_step: &[Value<'c, '_>] ) -> ForallOperationBuilder<'c, T0, Set, Set, Set, O3, R0, A0, A1, A2>
source§impl<'c, T0, R0, A0, A1, A2> ForallOperationBuilder<'c, T0, Set, Set, Set, Unset, R0, A0, A1, A2>
impl<'c, T0, R0, A0, A1, A2> ForallOperationBuilder<'c, T0, Set, Set, Set, Unset, R0, A0, A1, A2>
pub fn outputs( self, outputs: &[Value<'c, '_>] ) -> ForallOperationBuilder<'c, T0, Set, Set, Set, Set, R0, A0, A1, A2>
source§impl<'c, T0, O0, O1, O2, O3, A0, A1, A2> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, Unset, A0, A1, A2>
impl<'c, T0, O0, O1, O2, O3, A0, A1, A2> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, Unset, A0, A1, A2>
pub fn region( self, region: Region<'c> ) -> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, Set, A0, A1, A2>
source§impl<'c, T0, O0, O1, O2, O3, R0, A1, A2> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, Unset, A1, A2>
impl<'c, T0, O0, O1, O2, O3, R0, A1, A2> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, Unset, A1, A2>
pub fn static_lower_bound( self, static_lower_bound: Attribute<'c> ) -> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, Set, A1, A2>
source§impl<'c, T0, O0, O1, O2, O3, R0, A0, A2> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, Unset, A2>
impl<'c, T0, O0, O1, O2, O3, R0, A0, A2> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, Unset, A2>
pub fn static_upper_bound( self, static_upper_bound: Attribute<'c> ) -> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, Set, A2>
source§impl<'c, T0, O0, O1, O2, O3, R0, A0, A1> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, A1, Unset>
impl<'c, T0, O0, O1, O2, O3, R0, A0, A1> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, A1, Unset>
pub fn static_step( self, static_step: Attribute<'c> ) -> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, A1, Set>
source§impl<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2>
impl<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2>
pub fn mapping( self, mapping: ArrayAttribute<'c> ) -> ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2>
source§impl<'c> ForallOperationBuilder<'c, Set, Set, Set, Set, Set, Set, Set, Set, Set>
impl<'c> ForallOperationBuilder<'c, Set, Set, Set, Set, Set, Set, Set, Set, Set>
pub fn build(self) -> ForallOperation<'c>
Auto Trait Implementations§
impl<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2> RefUnwindSafe for ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2>where
A0: RefUnwindSafe,
A1: RefUnwindSafe,
A2: RefUnwindSafe,
O0: RefUnwindSafe,
O1: RefUnwindSafe,
O2: RefUnwindSafe,
O3: RefUnwindSafe,
R0: RefUnwindSafe,
T0: RefUnwindSafe,
impl<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2> !Send for ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2>
impl<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2> !Sync for ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2>
impl<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2> Unpin for ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2>
impl<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2> UnwindSafe for ForallOperationBuilder<'c, T0, O0, O1, O2, O3, R0, A0, A1, A2>where
A0: UnwindSafe,
A1: UnwindSafe,
A2: UnwindSafe,
O0: UnwindSafe,
O1: UnwindSafe,
O2: UnwindSafe,
O3: UnwindSafe,
R0: UnwindSafe,
T0: UnwindSafe,
Blanket Implementations§
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
Mutably borrows from an owned value. Read more