cnfformula.transformations package

Submodules

• cnfformula.transformations.substitutions module

Module contents

Package containing formula transformations

is_cnf_transformation(func)

Test whether the object is a registered formula generator

Parameters:

func : a callable argument

the function to be registered.

Returns:

bool

register_cnf_transformation(func)

Register the function as a formula generator

This function decorator is used to declare that the function is indeed a formula transformation.

Parameters:

func :

the function to be registered.

Returns:

None

Raises:

AssertionError

when the argument is not a function