Module oxidd_core::function

Function traits

Traits

• BooleanFunction
  Boolean functions 𝔹ⁿ → 𝔹
• BooleanFunctionQuant
  Quantification extension for BooleanFunction
• BooleanVecSet
  Set of Boolean vectors
• Function
  Function in a decision diagram
• FunctionSubst
  Substitution extension for Function
• NumberBase
  Basic trait for numbers
• PseudoBooleanFunction
  Pseudo-Boolean function 𝔹ⁿ → ℝ
• TVLFunction
  Function of three valued logic

Type Aliases

• ETagOfFunc
  Shorthand to get the edge tag type associated with a Function
• EdgeOfFunc
  Shorthand to get the Edge type associated with a Function
• INodeOfFunc
  Shorthand to get the InnerNode type associated with a Function