concepts.benchmark.logic_induction.boolean_normal_form.NormalForm#

class NormalForm[source]#

Bases: object

Methods

`eval`(assigns)
`from_string`(expr)
`to_string`()

Attributes

`init1`
`init2`
`merge1`
`merge2`
`split1`
`split2`

__call__(assigns=None, **kwargs)[source]#: Call self as a function.

__init__(nr_variables, exprs, varnames=None)[source]#

__new__(**kwargs)#

eval(assigns)[source]#

classmethod from_string(expr)[source]#

to_string()[source]#

init1 = None#

init2 = None#

merge1 = None#

merge2 = None#

split1 = None#

split2 = None#