public abstract class CachedEdge extends Object implements Edge
Title:
Description: Represents an edge cached for a CachedNode. A cached
edge stores the information about only one node (the neighbor of the cached
node where this edge is stored) and for that node only the name is stored.
This keeps the memory footprint of cached nodes to a minimum without causing
any slow downs (since cached nodes are used only in limited ways).
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Modifier and Type | Field and Description |
|---|---|
protected aterm.ATermAppl |
neighbor |
| Constructor and Description |
|---|
CachedEdge(Role role,
aterm.ATermAppl neighbor,
DependencySet ds) |
| Modifier and Type | Method and Description |
|---|---|
DependencySet |
getDepends() |
Individual |
getFrom() |
aterm.ATermAppl |
getFromName() |
Node |
getNeighbor(Node node)
Given a node upon which this edge is incident, the opposite incident node is returned.
|
Role |
getRole() |
Node |
getTo() |
aterm.ATermAppl |
getToName() |
void |
setDepends(DependencySet ds) |
String |
toString() |
public CachedEdge(Role role, aterm.ATermAppl neighbor, DependencySet ds)
public DependencySet getDepends()
getDepends in interface Edgepublic Individual getFrom()
public aterm.ATermAppl getFromName()
getFromName in interface Edgepublic Node getNeighbor(Node node)
getNeighbor in interface Edgenode - a node upon which this edge is incidentpublic Node getTo()
public aterm.ATermAppl getToName()
public void setDepends(DependencySet ds)
setDepends in interface EdgeCopyright © 2019. All rights reserved.