public class Node extends Object
Title: Node
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Modifier and Type | Field and Description |
|---|---|
Index<aterm.ATermAppl,Fact> |
index |
List<aterm.ATermAppl> |
svars |
List<aterm.ATermAppl> |
vars |
| Constructor and Description |
|---|
Node() |
| Modifier and Type | Method and Description |
|---|---|
void |
add(BetaNode beta)
Add a directly dependent beta node.
|
Collection<BetaNode> |
getBetas()
Return any directly dependent beta nodes.
|
protected List<aterm.ATermAppl> |
getKey()
Return the key for indexing.
|
protected int |
getKeyPosition(aterm.ATermAppl var) |
void |
reset() |
public void add(BetaNode beta)
public Collection<BetaNode> getBetas()
protected List<aterm.ATermAppl> getKey()
protected int getKeyPosition(aterm.ATermAppl var)
public void reset()
Copyright © 2019. All rights reserved.