org.deri.iris.rules.compiler
Class Differ

java.lang.Object
  org.deri.iris.rules.compiler.RuleElement
      org.deri.iris.rules.compiler.Differ

public class Differ
extends RuleElement

A compiled rule element representing a negated ordinary literal.

Field Summary

Fields inherited from class org.deri.iris.rules.compiler.RuleElement

mOutputVariables

Constructor Summary

Differ(List<IVariable> inputVariables, IRelation thisLiteralsRelation, ITuple viewCriteria, IEquivalentTerms equivalentTerms, Configuration configuration)
Constructor.

Method Summary

IRelation

process(IRelation leftRelation) Called to process tuples from previous literals.

Methods inherited from class org.deri.iris.rules.compiler.RuleElement

getDeltaSubstitution, getOutputVariables

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Differ

public Differ(List<IVariable> inputVariables,
              IRelation thisLiteralsRelation,
              ITuple viewCriteria,
              IEquivalentTerms equivalentTerms,
              Configuration configuration)

Constructor.

Parameters:

inputVariables - The variable bindings from previous rule elements.

thisLiteralsRelation - The relation to use for this literal.

viewCriteria - The view criteria (tuple in the sub-goal instance in the rule).

equivalentTerms - The equivalent terms.

Method Detail

process

public IRelation process(IRelation leftRelation)

Description copied from class: RuleElement

Called to process tuples from previous literals.

Specified by:

process in class RuleElement

Returns:

The output relation for this literal.