public class BetaNode extends Node
Title: Beta Node
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Modifier and Type | Field and Description |
|---|---|
Node |
lnode |
List<BetaNode> |
parents |
Node |
rnode |
RuleNode |
rule |
| Constructor and Description |
|---|
BetaNode(Node lnode,
Node rnode,
boolean doExplanation) |
| Modifier and Type | Method and Description |
|---|---|
HashMap<aterm.ATermAppl,aterm.ATermAppl> |
getBindings(List<aterm.ATermAppl> row) |
boolean |
isDirty() |
List<Fact> |
join() |
void |
markDirty() |
Set<Fact> |
matchingFacts(TermTuple rhs,
List<Fact> facts) |
void |
reset() |
String |
toString() |
add, getBetas, getKey, getKeyPositionCopyright © 2013. All Rights Reserved.