org.deri.iris.rules.compiler
Class BuiltinForConstructedTermArguments

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

public class BuiltinForConstructedTermArguments
extends RuleElement

A compiled rule element representing a built-in predicate with constructed terms arguments.

Field Summary

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

mOutputVariables

Constructor Summary

BuiltinForConstructedTermArguments(List<IVariable> inputVariables, IBuiltinAtom builtinAtom, boolean positive, 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

BuiltinForConstructedTermArguments

public BuiltinForConstructedTermArguments(List<IVariable> inputVariables,
                                          IBuiltinAtom builtinAtom,
                                          boolean positive,
                                          IEquivalentTerms equivalentTerms,
                                          Configuration configuration)
                                   throws EvaluationException

Constructor.

Parameters:

inputVariables - The variables from proceeding literals. Can be null if this is the first literal.

builtinAtom - The built-in atom object at this position in the rule.

positive - true, if the built-in is positive, false if it is negative.

equivalentTerms - The equivalent terms..

Throws:

EvaluationException - If constructed terms are used with a built-in or there are unbound variables.

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.