Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement hasVertexP and hasEdgeP #135

Open
wants to merge 8 commits into
base: main
Choose a base branch
from
Open

Implement hasVertexP and hasEdgeP #135

wants to merge 8 commits into from

Commits on Oct 30, 2018

  1. Implement hasVertexP and hasEdgeP 

    Predicate versions of hasVertex and hasEdge.

Re-implement hasVertex and hasEdge in terms of the predicate
versions.
    @jmtd
    jmtd committed Oct 30, 2018
    Configuration menu
    Copy the full SHA
    38763fd View commit details
    Browse the repository at this point in the history

  2. Add INLINE pragmas for hasEdgeP and hasVertexP 

    Thanks Alexandre Moine!
    @jmtd
    jmtd committed Oct 30, 2018
    Configuration menu
    Copy the full SHA
    820798f View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2018

  1. implement findVertices and re-implement hasVertex 

    re-implement hasVertex in terms of findVertices
    @jmtd
    jmtd committed Nov 2, 2018
    Configuration menu
    Copy the full SHA
    ab78e05 View commit details
    Browse the repository at this point in the history

  2. fixup

    @jmtd
    jmtd committed Nov 2, 2018
    Configuration menu
    Copy the full SHA
    511633a View commit details
    Browse the repository at this point in the history

  3. Add TupleSections LANGUAGE pragma 

    Required by the implementation of `box`
    @jmtd
    jmtd committed Nov 2, 2018
    Configuration menu
    Copy the full SHA
    8d273d8 View commit details
    Browse the repository at this point in the history

  4. implement findEdges

    @jmtd
    jmtd committed Nov 2, 2018
    Configuration menu
    Copy the full SHA
    90420fc View commit details
    Browse the repository at this point in the history

  5. re-implement hasEdgeP in terms of findEdges

    @jmtd
    jmtd committed Nov 2, 2018
    Configuration menu
    Copy the full SHA
    655c72c View commit details
    Browse the repository at this point in the history

  6. Doc strings and some TODOs for complexity analysis

    @jmtd
    jmtd committed Nov 2, 2018
    Configuration menu
    Copy the full SHA
    5ed33b6 View commit details
    Browse the repository at this point in the history