com.hp.hpl.jena.reasoner.rulesys.builtins
Class AssertDisjointPairs

java.lang.Object
  com.hp.hpl.jena.reasoner.rulesys.builtins.BaseBuiltin
      com.hp.hpl.jena.reasoner.rulesys.builtins.AssertDisjointPairs

All Implemented Interfaces:

Builtin

public class AssertDisjointPairs
extends BaseBuiltin

Assert the n^2 differtFrom pairs from a distinctMembers list

Version:

$Revision: 1.1 $ on $Date: 2009-06-29 08:55:36 $

Author:

Dave Reynolds

Field Summary

Fields inherited from class com.hp.hpl.jena.reasoner.rulesys.builtins.BaseBuiltin

BASE_URI

Constructor Summary

AssertDisjointPairs()

Method Summary

int	getArgLength() Return the expected number of arguments for this functor or 0 if the number is flexible.
String	getName() Return a name for this builtin, normally this will be the name of the functor that will be used to invoke it.
void	headAction(Node[] args, int length, RuleContext context) This method is invoked when the builtin is called in a rule head.

Methods inherited from class com.hp.hpl.jena.reasoner.rulesys.builtins.BaseBuiltin

bodyCall, checkArgs, getArg, getURI, isMonotonic, isSafe

Methods inherited from class java.lang.Object

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

Constructor Detail

AssertDisjointPairs

public AssertDisjointPairs()

Method Detail

getName

public String getName()

Return a name for this builtin, normally this will be the name of the functor that will be used to invoke it.

getArgLength

public int getArgLength()

Return the expected number of arguments for this functor or 0 if the number is flexible.

Specified by:

getArgLength in interface Builtin

Overrides:

getArgLength in class BaseBuiltin

headAction

public void headAction(Node[] args,
                       int length,
                       RuleContext context)

This method is invoked when the builtin is called in a rule head. Such a use is only valid in a forward rule.

Specified by:

headAction in interface Builtin

Overrides:

headAction in class BaseBuiltin

Parameters:

args - the array of argument values for the builtin, this is an array of Nodes.

length - the length of the argument list, may be less than the length of the args array for some rule engines

context - an execution context giving access to other relevant data