concepts.benchmark.logic_induction.boolean_normal_form_dataset.NormalFormDataset#

class NormalFormDataset[source]#

Bases: Dataset

Learning a general normal form.

Methods

register_datapipe_as_function(function_name, ...)

register_function(function_name, function)

Attributes

functions

__add__(other)#
Parameters:

other (Dataset[T_co]) –

Return type:

ConcatDataset[T_co]

__getitem__(item)[source]#
__init__(normal_form, include=None, exclude=None)[source]#
__len__()[source]#
__new__(**kwargs)#
classmethod register_datapipe_as_function(function_name, cls_to_register, enable_df_api_tracing=False)#
classmethod register_function(function_name, function)#
functions: Dict[str, Callable] = {'concat': functools.partial(<function Dataset.register_datapipe_as_function.<locals>.class_function>, <class 'torch.utils.data.datapipes.map.combining.ConcaterMapDataPipe'>, False), 'map': functools.partial(<function Dataset.register_datapipe_as_function.<locals>.class_function>, <class 'torch.utils.data.datapipes.map.callable.MapperMapDataPipe'>, False)}#