Struct Bridge

pub struct Bridge(UnsafeCell<Vec<(JoinHandle<Expression>, Sender<Expression>)>>);

a bridge for interthread communication.

Tuple Fields

0: UnsafeCell<Vec<(JoinHandle<Expression>, Sender<Expression>)>>

Implementations

impl Bridge

pub fn new() -> Self

Creates a new instance of Bridge by initializing an empty vector within an UnsafeCell.

fn inner(&self) -> &mut Vec<(JoinHandle<Expression>, Sender<Expression>)>

Provides a mutable reference to the inner vector of tuples, each containing a JoinHandle and a oneshot::Sender, which are used for asynchronous computation and message passing, respectively.

pub fn wait(&self, handle: JoinHandle<Expression>) -> Reciever<Expression>

Waits for the completion of a synthesis task and returns a receiver for results.

This method takes a JoinHandle, which represents a spawned asynchronous task that will output an Expression. It creates a oneshot channel, which is used for sending an expression once the task completes. The sender part of the channel is paired with the JoinHandle and added to the vector inside the Bridge. The method returns the receiver part of the channel, allowing the caller to wait for and retrieve the result of the task once it’s completed.

pub fn abort_all(&self)

Aborts all ongoing synthesis tasks managed by this instance.

pub fn check(&self)

Checks and handles the status of ongoing tasks and their results.

Trait Implementations

impl Default for Bridge

fn default() -> Self

A default constructor for the type.