Struct AddManager 

pub struct AddManager { /* private fields */ }

ADD manager for rational-valued functions.

Implementations

impl AddManager

pub fn new() -> Self

Creates a new ADD manager.

pub fn constant(&mut self, value: BigRational) -> NodeId

Creates a constant ADD.

pub fn variable(&mut self, var: VarId) -> NodeId

Creates an ADD for a single variable (returns 1 if true, 0 if false).

pub fn eval( &self, node: NodeId, assignment: &FxHashMap<VarId, bool>, ) -> BigRational

Evaluates the ADD given a variable assignment.

pub fn add(&mut self, left: NodeId, right: NodeId) -> NodeId

Computes the sum of two ADDs.

pub fn mul(&mut self, left: NodeId, right: NodeId) -> NodeId

Computes the product of two ADDs.

pub fn max(&mut self, left: NodeId, right: NodeId) -> NodeId

Computes the maximum of two ADDs.

pub fn min(&mut self, left: NodeId, right: NodeId) -> NodeId

Computes the minimum of two ADDs.

pub fn scale(&mut self, node: NodeId, scalar: &BigRational) -> NodeId

Multiplies an ADD by a scalar.

pub fn ite( &mut self, cond: NodeId, then_add: NodeId, else_add: NodeId, ) -> NodeId

If-then-else operation for ADDs.

pub fn node_count(&self) -> usize

Returns the number of nodes in the manager.

pub fn clear_cache(&mut self)

Clears the operation cache.

pub fn get_var(&self, node: NodeId) -> Option<VarId>

Gets the variable of a node, if it’s internal.

pub fn get_value(&self, node: NodeId) -> Option<&BigRational>

Gets the terminal value of a node, if it’s a terminal.

Trait Implementations

impl Clone for AddManager

fn clone(&self) -> AddManager

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AddManager

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

Formats the value using the given formatter.

impl Default for AddManager

fn default() -> Self

Returns the “default value” for a type.

impl Display for AddManager

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

Formats the value using the given formatter.