Struct biodivine_lib_param_bn::symbolic_async_graph::GraphColors

pub struct GraphColors {
    bdd: Bdd,
    parameter_variables: Vec<BddVariable>,
}

Symbolic representation of a color set.

Implementation contains all symbolic variables, but state variables are unconstrained.

Fields

bdd: Bdd

parameter_variables: Vec<BddVariable>

Implementations

impl GraphColors

pub fn new(bdd: Bdd, context: &SymbolicContext) -> Self

Make a new color set from a bdd and a symbolic context.

pub fn copy(&self, bdd: Bdd) -> Self

Make a copy of graph colors with a new bdd inheriting the original context.

pub fn into_bdd(self) -> Bdd

Convert this set to a raw Bdd.

pub fn as_bdd(&self) -> &Bdd

View this set as a raw Bdd.

pub fn pick_singleton(&self) -> GraphColors

Pick one color from this set and return it as a singleton.

If the set is empty, return empty set.

pub fn approx_cardinality(&self) -> f64

Approximate size of this set (error grows for large sets).

pub fn exact_cardinality(&self) -> BigInt

Compute exact BigInt cardinality of this set.

pub fn symbolic_size(&self) -> usize

Amount of storage used for this symbolic set.

pub fn to_dot_string(&self, context: &SymbolicContext) -> String

Convert this set to a .dot graph.

Trait Implementations

impl Clone for GraphColors

fn clone(&self) -> GraphColors

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GraphColors

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

Formats the value using the given formatter.

impl Hash for GraphColors

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<GraphColors> for GraphColors

fn eq(&self, other: &GraphColors) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &GraphColors) -> bool

This method tests for !=.

impl Set for GraphColors

Set operations.

fn union(&self, other: &Self) -> Self

fn intersect(&self, other: &Self) -> Self

fn minus(&self, other: &Self) -> Self

fn is_empty(&self) -> bool

fn is_subset(&self, other: &Self) -> bool

impl Eq for GraphColors

impl StructuralEq for GraphColors

impl StructuralPartialEq for GraphColors