Package openllet.core.boxes.abox
Interface Edge
-
- All Known Implementing Classes:
CachedEdge,CachedInEdge,CachedOutEdge,DefaultEdge
public interface EdgeDescription: Represents an edge in the tableau completion graph.
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
- Author:
- Evren Sirin
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description DependencySetgetDepends()IndividualgetFrom()openllet.aterm.ATermApplgetFromName()NodegetNeighbor(Node node)Given a node upon which this edge is incident, the opposite incident _node is returned.RolegetRole()NodegetTo()openllet.aterm.ATermApplgetToName()voidsetDepends(DependencySet ds)
-
-
-
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.
-
setDepends
void setDepends(DependencySet ds)
-
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
-
-