public class CachedInEdge extends CachedEdge
Title:
Description: Represents a cached incoming edge.
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
neighbor| Constructor and Description |
|---|
CachedInEdge(Edge edge) |
CachedInEdge(Role role,
aterm.ATermAppl from,
DependencySet ds) |
| Modifier and Type | Method and Description |
|---|---|
aterm.ATermAppl |
getFromName() |
getDepends, getFrom, getNeighbor, getRole, getTo, getToName, setDepends, toStringpublic CachedInEdge(Edge edge)
public CachedInEdge(Role role, aterm.ATermAppl from, DependencySet ds)
public aterm.ATermAppl getFromName()
getFromName in interface EdgegetFromName in class CachedEdgeCopyright © 2019. All rights reserved.