Class Redundancy

java.lang.Object

fr.inria.rules.integraal.redundancy.Redundancy

public class Redundancy
extends Object

Static methods to compute redundancy properties between rules

Method Summary

Modifier and Type	Method	Description
static boolean	equivalentRules(FORule r1, FORule r2)	test whether two FORule are semantically equivalent
static boolean	isRuleIsomorphism(FORule r1, FORule r2)	Tests if two rules are equals up to variable renaming Each rule is seen as a simple conjunction implies conjunction.
static boolean	ruleConsequence(RuleBase rb, FORule r)	Uses backward chaining to determine whether a FORule is a logical consequence of a RuleBase

Methods inherited from class Object

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

Method Details

isRuleIsomorphism

public static boolean isRuleIsomorphism(FORule r1,
 FORule r2)

Tests if two rules are equals up to variable renaming
Each rule is seen as a simple conjunction implies conjunction.

Parameters:

r1 - the first rule

r2 - the second rule

Returns:

true iff r1 and r2 are equals up to variable renaming

ruleConsequence

public static boolean ruleConsequence(RuleBase rb,
 FORule r)

Uses backward chaining to determine whether a FORule is a logical consequence of a RuleBase

Parameters:

rb - a RuleBase

r - a FORule

Returns:

true iff the rule can be deducted from the RuleBase

equivalentRules

public static boolean equivalentRules(FORule r1,
 FORule r2)

test whether two FORule are semantically equivalent

Parameters:

r1 - the first rule

r2 - the second rule

Returns:

true iff r1 and r2 have the same meaning