Struct RuleGuard 

pub struct RuleGuard { /* private fields */ }

RAII handle for a rule installed via rule or EnterGuard::rule. Drop uninstalls the rule; RuleGuard::forget leaks it instead, leaving the rule installed for the rest of the simulation.

The guard is !Send: it’s tied to the thread that owns the Net, and the thread-local uninstall on drop would be unsound across threads.

Implementations

impl RuleGuard

pub fn new(id: RuleId) -> Self

pub fn id(&self) -> RuleId

pub fn forget(self)

Leak the guard — the rule stays installed until the Net is dropped. Useful when an early-phase guard should survive the call that produced it.

Trait Implementations

impl Drop for RuleGuard

fn drop(&mut self)

Executes the destructor for this type.