Python MemoryGraph.fromFile Examples

Example #1

def test_series_sll_and_bt() -> None:
    graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
        f'{EXAMPLES_PROLOG}/series-sll-and-bt/sll-and-bt-0.pl',
        f'{EXAMPLES_PROLOG}/series-sll-and-bt/sll-and-bt-1.pl',
        f'{EXAMPLES_PROLOG}/series-sll-and-bt/sll-and-bt-2.pl'
    ]))
    composition.composition(graphs)

Example #2

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)

Example #3

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',
        ]))
    predicate = match.match_repository(graphs)
    verifast.check_witness(verifast.construct_witness(predicate, graphs))

Example #4

def test_wrapper_sll_bt() -> None:
    graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
        f'{EXAMPLES_PROLOG}/wrapper-sll-bt.pl'
    ]))
    composition.composition(graphs)

Example #5

def test_bt_null() -> None:
    graphs = list(
        map(lambda f: MemoryGraph.fromFile(f),
            [f'{EXAMPLES_PROLOG}/bt-null.pl']))
    match.match_repository(graphs)

Example #6

def test_sll_tailptr() -> None:
    graphs = list(
        map(lambda f: MemoryGraph.fromFile(f),
            [f'{EXAMPLES_PROLOG}/sll-tailPtr.pl']))
    match.match_repository(graphs)

Example #7

def test_dll_stable_this() -> None:
    graphs = list(
        map(lambda f: MemoryGraph.fromFile(f),
            [f'{EXAMPLES_PROLOG}/dll-stable-this.pl']))
    predicate = match.match_repository(graphs)
    verifast.check_witness(verifast.construct_witness(predicate, graphs))

Example #8

def test_bt_null() -> None:
    graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
        f'{EXAMPLES_PROLOG}/bt-null.pl'
    ]))
    learn.learn(graphs)

Example #9

def test_dll_stable_this() -> None:
    graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
        f'{EXAMPLES_PROLOG}/dll-stable-this.pl'
    ]))
    learn.learn(graphs)

Example #10

def test_sll_tailptr() -> None:
    graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
        f'{EXAMPLES_PROLOG}/sll-tailPtr.pl'
    ]))
    learn.learn(graphs)

Example #11

def test_bt_root_ptr() -> None:
    graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
        f'{EXAMPLES_PROLOG}/bt-root-ptr.pl'
    ]))
    learn.learn(graphs)

Example #12

def test_binary_trees_debian() -> None:
    graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
        f'{EXAMPLES_DSI}/binary-trees-debian.dot'
    ]))
    learn.learn(graphs)

Example #13

def test_sll_9() -> None:
    graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
        f'{EXAMPLES_DSI}/sll_9.dot'
    ]))
    learn.learn(graphs)

Example #14

def test_nesting_bt_sll() -> None:
    graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
        f'{EXAMPLES_PROLOG}/nesting-bt-sll.pl'
    ]))
    composition.composition(graphs)

Example #15

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']))
    match.match_repository(graphs)

Example #16

def test_SHN_sll_sll() -> None:
    graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
        f'{EXAMPLES_PROLOG}/SHN-sll-sll.pl'
    ]))
    composition.composition(graphs)

Example #17

def test_sll_head_tail() -> None:
    graphs = list(
        map(lambda f: MemoryGraph.fromFile(f), [f'{EXAMPLES_PROLOG}/lseg.pl']))
    match.match_repository(graphs)

Example #18

def test_bt_null_all() -> None:
    graphs = list(
        map(lambda f: MemoryGraph.fromFile(f),
            [f'{EXAMPLES_PROLOG}/bt-null-all.pl']))
    predicate = match.match_repository(graphs)
    verifast.check_witness(verifast.construct_witness(predicate, graphs))

Example #19

def test_dll_stable_this() -> None:
    graphs = list(
        map(lambda f: MemoryGraph.fromFile(f),
            [f'{EXAMPLES_PROLOG}/dll-stable-this.pl']))
    match.match_repository(graphs)

Example #20

def test_sll_headptr() -> None:
    graphs = list(
        map(lambda f: MemoryGraph.fromFile(f),
            [f'{EXAMPLES_PROLOG}/sll-headPtr.pl']))
    predicate = match.match_repository(graphs)
    verifast.check_witness(verifast.construct_witness(predicate, graphs))

Example #21

def test_sll_head_tail() -> None:
    graphs = list(map(lambda f: MemoryGraph.fromFile(f), [
        f'{EXAMPLES_PROLOG}/lseg.pl'
    ]))
    learn.learn(graphs)