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