Package openllet.core.rules.rete
Class ProductionNode.SameAs
- java.lang.Object
-
- openllet.core.rules.rete.ReteNode
-
- openllet.core.rules.rete.BetaNode
-
- openllet.core.rules.rete.ProductionNode
-
- openllet.core.rules.rete.ProductionNode.SameAs
-
- Enclosing class:
- ProductionNode
public static class ProductionNode.SameAs 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
-
-
Constructor Summary
Constructors Constructor Description SameAs(ContinuousRulesStrategy strategy, java.util.Set<openllet.aterm.ATermAppl> explain, NodeProvider subject, NodeProvider object)
-
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
-
-
-
-
Constructor Detail
-
SameAs
public SameAs(ContinuousRulesStrategy strategy, java.util.Set<openllet.aterm.ATermAppl> explain, NodeProvider subject, NodeProvider object)
-
-