Module function

Function traits

Enums

BooleanOperator

Binary operators on Boolean functions

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