public abstract class ProductionNode extends BetaNode
| Modifier and Type | Class and Description |
|---|---|
static class |
ProductionNode.DiffFrom |
static class |
ProductionNode.Edge |
static class |
ProductionNode.Inconsistency |
static class |
ProductionNode.ProduceBinding |
static class |
ProductionNode.SameAs |
static class |
ProductionNode.Type |
| Modifier and Type | Field and Description |
|---|---|
protected DependencySet |
ds |
protected Set<aterm.ATermAppl> |
explain |
protected ContinuousRulesStrategy |
strategy |
| Constructor and Description |
|---|
ProductionNode(ContinuousRulesStrategy strategy,
Set<aterm.ATermAppl> explain) |
| Modifier and Type | Method and Description |
|---|---|
void |
activate(WME wme) |
protected Node |
getNode(NodeProvider provider,
Token token) |
void |
print(String indent) |
protected void |
resetDependencySet(Token token) |
activate, activateChildren, isTopprotected ContinuousRulesStrategy strategy
protected Set<aterm.ATermAppl> explain
protected DependencySet ds
public ProductionNode(ContinuousRulesStrategy strategy, Set<aterm.ATermAppl> explain)
protected void resetDependencySet(Token token)
protected Node getNode(NodeProvider provider, Token token)
Copyright © 2019. All rights reserved.