Struct BasicBlockData 

pub struct BasicBlockData { /* private fields */ }

The basic block

Implementations

impl BasicBlockData

pub fn new<S: Into<String>>(name: S, params: Vec<BlockParam>) -> Self

Create a new block with a given name

pub fn get_fact(&self, value: Value) -> Option<&Expr>

Look up a fact for a given value.

pub fn assertions(&self) -> &[Expr]

Get all assertions

pub fn facts(&self) -> impl Iterator<Item = (&Value, &Expr)> + '_

Get all facts

pub fn insts(&self) -> &[Inst]

Get the instructions of this block

pub fn name(&self) -> &str

Get the name of the block

Trait Implementations

impl Clone for BasicBlockData

fn clone(&self) -> BasicBlockData

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for BasicBlockData

fn default() -> BasicBlockData

Returns the “default value” for a type.