public class AlphaTypeNode extends AlphaNode
abox, doExplanation, NO_MATCH| Constructor and Description |
|---|
AlphaTypeNode(ABox abox,
aterm.ATermAppl predicate) |
AlphaTypeNode(ABox abox,
aterm.ATermAppl predicate,
aterm.ATermAppl name) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
activate(Individual ind,
aterm.ATermAppl type,
DependencySet ds) |
boolean |
equals(Object obj) |
Iterator<WME> |
getMatches() |
Iterator<WME> |
getMatches(int argIndex,
Node arg) |
int |
hashCode() |
protected Individual |
initNode() |
boolean |
matches(RuleAtom atom) |
String |
toString() |
activate, initNode, print, setDoExplanationpublic AlphaTypeNode(ABox abox, aterm.ATermAppl predicate)
public AlphaTypeNode(ABox abox, aterm.ATermAppl predicate, aterm.ATermAppl name)
protected Individual initNode()
public boolean activate(Individual ind, aterm.ATermAppl type, DependencySet ds)
public Iterator<WME> getMatches(int argIndex, Node arg)
getMatches in class AlphaNodepublic Iterator<WME> getMatches()
getMatches in class AlphaNodeCopyright © 2019. All rights reserved.