org.deri.iris.rules
Class RuleHeadEquality

java.lang.Object
  org.deri.iris.rules.RuleHeadEquality

public class RuleHeadEquality
extends Object

An utility class for rule head equality.

Author:

Adrian Marte

Constructor Summary

RuleHeadEquality()

Method Summary

static boolean

hasRuleHeadEquality(IRule rule) Checks if rule head equality appears in the head of the specified rule, e.g.

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleHeadEquality

public RuleHeadEquality()

Method Detail

hasRuleHeadEquality

public static boolean hasRuleHeadEquality(IRule rule)

Checks if rule head equality appears in the head of the specified rule, e.g. ?X = ?Y :- p(?X, ?Y), q(?Y, ?X).

Parameters:

rule - The rule to check for occurrence of rule head equality.

Returns:

true if the given rule has rule head equality, false otherwise.