def test_series_bt() -> None:
graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
f'{EXAMPLES_PROLOG}/series-bt/bt-null-1.pl',
f'{EXAMPLES_PROLOG}/series-bt/bt-null-2.pl',
f'{EXAMPLES_PROLOG}/series-bt/bt-null-3.pl',
]))
learn.learn(graphs)
def test_bt_null() -> None:
graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
f'{EXAMPLES_PROLOG}/bt-null.pl'
]))
learn.learn(graphs)
def test_sll_tailptr() -> None:
graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
f'{EXAMPLES_PROLOG}/sll-tailPtr.pl'
]))
learn.learn(graphs)
def test_dll_stable_this() -> None:
graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
f'{EXAMPLES_PROLOG}/dll-stable-this.pl'
]))
learn.learn(graphs)
def test_bt_root_ptr() -> None:
graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
f'{EXAMPLES_PROLOG}/bt-root-ptr.pl'
]))
learn.learn(graphs)
def test_binary_trees_debian() -> None:
graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
f'{EXAMPLES_DSI}/binary-trees-debian.dot'
]))
learn.learn(graphs)
def test_sll_9() -> None:
graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
f'{EXAMPLES_DSI}/sll_9.dot'
]))
learn.learn(graphs)
def test_sll_head_tail() -> None:
graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
f'{EXAMPLES_PROLOG}/lseg.pl'
]))
learn.learn(graphs)
def test_dll_stable_null_inner_ep() -> None:
graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
f'{EXAMPLES_PROLOG}/dll-stable-null-inner-ep.pl'
]))
learn.learn(graphs)