| Constructor and Description |
|---|
AlphaNetwork(ABox abox) |
| Modifier and Type | Method and Description |
|---|---|
void |
activateAll() |
void |
activateDifferent(Individual ind,
Individual diff,
DependencySet ds) |
void |
activateDifferents(Individual ind) |
void |
activateEdge(Edge edge) |
boolean |
activateIndividual(Individual ind) |
void |
activateType(Individual ind,
aterm.ATermAppl type,
DependencySet ds) |
AlphaNode |
addNode(RuleAtom atom) |
Iterator<AlphaNode> |
iterator() |
void |
print() |
void |
setDoExplanation(boolean doExplanation) |
String |
toString() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitforEach, spliteratorpublic AlphaNetwork(ABox abox)
public void activateAll()
public boolean activateIndividual(Individual ind)
public void activateType(Individual ind, aterm.ATermAppl type, DependencySet ds)
public void activateEdge(Edge edge)
public void activateDifferents(Individual ind)
public void activateDifferent(Individual ind, Individual diff, DependencySet ds)
public void setDoExplanation(boolean doExplanation)
public void print()
Copyright © 2019. All rights reserved.