pub struct Invariant { /* private fields */ }
Implementations§
Source§impl Invariant
impl Invariant
pub fn new<S: Into<String>>( name: S, guard: Expr, effects: Vec<Effect>, position: Option<Position>, ) -> Self
pub fn guard(&self) -> &Expr
pub fn effects(&self) -> &Vec<Effect>
pub fn resolve_resource( &mut self, map: &HashMap<String, ResourceId>, ) -> Result<(), RlError>
pub fn resolve_state( &mut self, map: &HashMap<String, StateId>, ) -> Result<(), RlError>
Trait Implementations§
Source§impl Named<InvariantId> for Invariant
impl Named<InvariantId> for Invariant
Auto Trait Implementations§
impl Freeze for Invariant
impl RefUnwindSafe for Invariant
impl Send for Invariant
impl Sync for Invariant
impl Unpin for Invariant
impl UnwindSafe for Invariant
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