public static class ProductionNode.ProduceBinding extends ProductionNode
ProductionNode.DiffFrom, ProductionNode.Edge, ProductionNode.Inconsistency, ProductionNode.ProduceBinding, ProductionNode.SameAs, ProductionNode.Typeds, explain, strategy| Constructor and Description |
|---|
ProduceBinding(ContinuousRulesStrategy strategy,
Set<aterm.ATermAppl> explain,
Rule rule,
Map<AtomVariable,NodeProvider> args) |
| Modifier and Type | Method and Description |
|---|---|
void |
activate(Token token) |
String |
toString() |
activate, getNode, print, resetDependencySetactivateChildren, isToppublic ProduceBinding(ContinuousRulesStrategy strategy, Set<aterm.ATermAppl> explain, Rule rule, Map<AtomVariable,NodeProvider> args)
Copyright © 2019. All rights reserved.