ISubGVQA.sampling.methods.node

Classes

Module Contents

class ISubGVQA.sampling.methods.node.Node(elements=None, type=DECOMPOSITION)

node_id = 1

elements = None

id = 1

type = 1

__repr__()

is_decomposition()

is_literal()

is_true()

clear_bits(clear_data=False): Recursively clears bits. For use when recursively navigating an SDD by marking bits (not for use with SddNode.as_list). Set clear_data to True to also clear data.

positive_iter(first_call=True, clear_data=False): post-order (children before parents) generator, skipping false SDD nodes