Class IDRuleCompilation

java.lang.Object

fr.inria.rules.integraal.model.ruleCompilation.id.IDRuleCompilation

All Implemented Interfaces:

RuleCompilation

public class IDRuleCompilation
extends Object
implements RuleCompilation

Version as implemented by Melanie in graal Compilation for atomic rules (head and body) with no existential variables or constants

Constructor Summary

Constructors

Constructor	Description
IDRuleCompilation()	Create a new empty compilation

Method Summary

Modifier and Type	Method	Description
void	compile(RuleBase rb)	This method also removes the compiled rules from the given rulebase.
RuleCompilationResult	compileAndGet(RuleBase rb)	Creates a record with the partition of the compiled rules.
Set<Predicate>	getCompatiblePredicates(Predicate p)	Returns every predicate compatible with the supplied one.
Set<Substitution>	getHomomorphisms(Atom a, Atom b, Substitution s)	Compute all the possible homomorphisms from a to b with respect to s
Set<TermPartition>	getUnifications(Atom a, Atom b)	Compute all the possible unifiers between a and b
boolean	isCompatible(Predicate p, Predicate q)	Two predicates are compatible iff there exists a condition c = (p, q, Ep, Lq)
boolean	isMoreSpecificThan(Atom a, Atom b)	This method is not used for the moment.
String	toString()
Set<org.apache.commons.lang3.tuple.Pair<Atom, Substitution>>	unfold(Atom a)	The unfolding of an atom a is a set A' such that for all a' in A', a' <= a.

Methods inherited from class Object

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

Methods inherited from interface RuleCompilation

getHomomorphisms

Constructor Details

IDRuleCompilation

public IDRuleCompilation()

Create a new empty compilation

Method Details

compile

public void compile(RuleBase rb)

Description copied from interface: RuleCompilation

This method also removes the compiled rules from the given rulebase.

Specified by:

compile in interface RuleCompilation

Parameters:

rb - rulebase to compile

compileAndGet

public RuleCompilationResult compileAndGet(RuleBase rb)

Creates a record with the partition of the compiled rules.

Specified by:

compileAndGet in interface RuleCompilation

Parameters:

rb - rulebase to compile

Returns:

the compilation result and the partition of input rules

isMoreSpecificThan

public boolean isMoreSpecificThan(Atom a,
 Atom b)

Description copied from interface: RuleCompilation

This method is not used for the moment.

Specified by:

isMoreSpecificThan in interface RuleCompilation

Parameters:

a - an atom

b - an atom

Returns:

true iff a <= b

unfold

public Set<org.apache.commons.lang3.tuple.Pair<Atom, Substitution>> unfold(Atom a)

Description copied from interface: RuleCompilation

The unfolding of an atom a is a set A' such that for all a' in A', a' <= a. The atom is returned with a substitution representing the specialization from the unification with the compiled rule.

Specified by:

unfold in interface RuleCompilation

Parameters:

a - an atom

Returns:

the unfolding of a with this compilation

isCompatible

public boolean isCompatible(Predicate p,
 Predicate q)

Description copied from interface: RuleCompilation

Two predicates are compatible iff there exists a condition c = (p, q, Ep, Lq)

Specified by:

isCompatible in interface RuleCompilation

Parameters:

p - a predicate

q - a predicate

Returns:

true iff p and q are compatible

getCompatiblePredicates

public Set<Predicate> getCompatiblePredicates(Predicate p)

Description copied from interface: RuleCompilation

Returns every predicate compatible with the supplied one.

Specified by:

getCompatiblePredicates in interface RuleCompilation

Parameters:

p - a predicate

Returns:

the set of all the predicates that are compatible with p

getHomomorphisms

public Set<Substitution> getHomomorphisms(Atom a,
 Atom b,
 Substitution s)

Description copied from interface: RuleCompilation

Compute all the possible homomorphisms from a to b with respect to s

Specified by:

getHomomorphisms in interface RuleCompilation

Parameters:

a - an atom

b - an atom

s - a substitution

Returns:

the set of substitutions from the terms of a to the terms of b with respect to s

getUnifications

public Set<TermPartition> getUnifications(Atom a,
 Atom b)

Description copied from interface: RuleCompilation

Compute all the possible unifiers between a and b

Specified by:

getUnifications in interface RuleCompilation

Parameters:

a - an atom

b - an atom

Returns:

the set of all partitions from the terms of b and a

toString

public String toString()

Overrides:

toString in class Object