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#