ProductionNode.Inconsistency (Openllet :: Core 2.6.5 API)

java.lang.Object
- openllet.core.rules.rete.ReteNode
- - openllet.core.rules.rete.BetaNode
  - - openllet.core.rules.rete.ProductionNode
    - - openllet.core.rules.rete.ProductionNode.Inconsistency

Enclosing class:: ProductionNode

public static class ProductionNode.Inconsistency
extends ProductionNode

- Nested Class Summary
  - Nested classes/interfaces inherited from class openllet.core.rules.rete.ProductionNode
    ProductionNode.DiffFrom, ProductionNode.Edge, ProductionNode.Inconsistency, ProductionNode.ProduceBinding, ProductionNode.SameAs, ProductionNode.Type
- Field Summary
  - Fields inherited from class openllet.core.rules.rete.ReteNode
    _logger
- Constructor Summary
  
  Constructors
  Constructor Description
  
  Inconsistency(ContinuousRulesStrategy strategy, java.util.Set<openllet.aterm.ATermAppl> explain)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  void activate(Token token)
  
  java.lang.String toString()
  - Methods inherited from class openllet.core.rules.rete.ProductionNode
    activate, print
  - Methods inherited from class openllet.core.rules.rete.BetaNode
    isTop
  - Methods inherited from class openllet.core.rules.rete.ReteNode
    addChild, getBetas, mark, reset, restore, unmark
  - Methods inherited from class java.lang.Object
    equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Inconsistency

public Inconsistency(ContinuousRulesStrategy strategy,
                     java.util.Set<openllet.aterm.ATermAppl> explain)

Method Detail
- activate
```
public void activate(Token token)
```
  Specified by:
  
  activate in class BetaNode
- toString
```
public java.lang.String toString()
```
  Overrides:
  
  toString in class java.lang.Object