Crate oxidd_derive 

Various derive macros for oxidd

Note that the code generated by the macros depends on definitions in oxidd_core, not their re-exports in oxidd. So in case you want to use these macros as an “external” user, you may need to add oxidd_core to your Cargo.toml.

Derive Macros

BooleanFunction

Derive the BooleanFunction trait from oxidd_core::function

BooleanFunctionQuant

Derive the BooleanFunctionQuant trait from oxidd_core::function

BooleanVecSet

Derive the BooleanVecSet trait from oxidd_core::function

Countable

Derive the Countable trait from oxidd_core

Function

Derive the Function trait from oxidd_core::function

FunctionSubst

Derive the FunctionSubst trait from oxidd_core::function

ManagerEventSubscriber

Derive the ManagerEventSubscriber trait from oxidd_core::util

PseudoBooleanFunction

Derive the PseudoBooleanFunction trait from oxidd_core::function

TVLFunction

Derive the TVLFunction trait from oxidd_core::function