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