Module boolean 

Reduced ordered Boolean decision diagrams shared by graph and IR guards.

Structs

BooleanDecisionDiagram

Reduced ordered Boolean decision diagram with bounded construction work.

BooleanLimits

Bounds on live decision nodes and cumulative Boolean/row work.

BooleanResourceError

A Boolean operation exceeded its configured resource allowance.

BooleanRow

A sparse GF(2) row whose entries and availability are Boolean functions. Extra columns can carry witnesses through exactly the same row operations.

BooleanRowSpace

A sparse conditional row space with stable source order and column incidence.

DecisionId

Stable handle to a function in a BooleanDecisionDiagram.

DecisionNode

One nonterminal node in a reduced ordered decision diagram.

Enums

BooleanOp

A commutative binary operation over Boolean decision functions.

Constants

DECISION_FALSE

The constant-false decision.

DECISION_TRUE

The constant-true decision.

Functions

eliminate_boolean_rows

Eliminate one linear constraint pointwise, returning its conditional pivot.

reduce_boolean_rows

Canonical reduced rows over the requested columns, with conditional rank.