boofun.core.representations.registry

Functions

get_strategy(rep_key)	Retrieve and instantiate the strategy class for the given representation key.
register_partial_strategy(key, *, evaluate)	Register a strategy by supplying only the key methods.
register_strategy(key)	Decorator to register representation classes

boofun.core.representations.registry.get_strategy(rep_key: str) → BooleanFunctionRepresentation[Any]

Retrieve and instantiate the strategy class for the given representation key.

Parameters:

rep_key – Representation key (e.g., ‘truth_table’)

Returns:

Instance of the strategy class

Raises:

KeyError – If no strategy is registered for the key

boofun.core.representations.registry.register_strategy(key: str) → Any

Decorator to register representation classes

boofun.core.representations.registry.register_partial_strategy(key: str, *, evaluate: Callable[[...], Any], dump: Callable[[...], Any] | None = None, convert_from: Callable[[...], Any] | None = None, convert_to: Callable[[...], Any] | None = None, create_empty: Callable[[...], Any] | None = None, is_complete: Callable[[...], Any] | None = None, get_storage_requirements: Callable[[...], Any] | None = None, time_complexity_rank: Callable[[...], Any] | None = None) → None

Register a strategy by supplying only the key methods. Missing methods raise NotImplementedError by default.