Interface Edge

  • All Known Implementing Classes:
    CachedEdge, CachedInEdge, CachedOutEdge, DefaultEdge

    public interface Edge

    Description: Represents an edge in the tableau completion graph.

    Copyright: Copyright (c) 2008

    Company: Clark & Parsia, LLC.

    Author:
    Evren Sirin
    • Method Detail

      • getNeighbor

        Node getNeighbor​(Node node)
        Given a node upon which this edge is incident, the opposite incident _node is returned.
        Parameters:
        node - a node upon which this edge is incident
        Returns:
        the other node this edge is incident upon
      • getDepends

        DependencySet getDepends()
        Returns:
        Returns the depends.
      • getFrom

        Individual getFrom()
        Returns:
        Returns the source of this edge
      • getFromName

        openllet.aterm.ATermAppl getFromName()
        Returns:
        Returns the name of the source node
      • getRole

        Role getRole()
        Returns:
        Returns the role.
      • getTo

        Node getTo()
        Returns:
        Returns the target of the edge
      • getToName

        openllet.aterm.ATermAppl getToName()
        Returns:
        Returns the name of the target node