Struct PirGraph 

pub struct PirGraph { /* private fields */ }

Implementations

impl PirGraph

pub fn new() -> Self

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn nodes(&self) -> &[PirNode]

pub fn node(&self, id: PirNodeId) -> Option<&PirNode>

pub fn const_true(&mut self) -> PirNodeId

pub fn const_false(&mut self) -> PirNodeId

pub fn lit(&mut self, leaf: LeafId) -> PirNodeId

pub fn neg_lit(&mut self, leaf: LeafId) -> PirNodeId

pub fn and(&mut self, children: Vec<PirNodeId>) -> PirNodeId

pub fn or(&mut self, children: Vec<PirNodeId>) -> PirNodeId

pub fn decision( &mut self, var: ChoiceVarId, child_false: PirNodeId, child_true: PirNodeId, ) -> PirNodeId

pub fn levelize(&self, roots: &[PirNodeId]) -> Result<Vec<Vec<PirNodeId>>>

Trait Implementations

impl Clone for PirGraph

fn clone(&self) -> PirGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PirGraph

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for PirGraph

fn default() -> PirGraph

Returns the “default value” for a type.