fr.lirmm.graphik.graal.core.compilation

Class IDCompilation

java.lang.Object

fr.lirmm.graphik.graal.core.compilation.AbstractRulesCompilation

fr.lirmm.graphik.graal.core.compilation.IDCompilation

All Implemented Interfaces:

RulesCompilation, Profilable

public class IDCompilation
extends AbstractRulesCompilation

Constructor Summary

Constructors

Constructor and Description
IDCompilation()

Method Summary

Modifier and Type	Method and Description
void	appendTo(StringBuilder sb)
void	compile(Iterator<Rule> ruleset) Extract compilable rules from the specified ruleset and compile them.
List<fr.lirmm.graphik.graal.core.compilation.IDCondition>	getConditions(Predicate predB, Predicate predH)
Collection<org.apache.commons.lang3.tuple.Pair<Atom,Substitution>>	getRewritingOf(Atom atom) Return all possible rewritings of this Atom by this compilation.
Iterable<Rule>	getSaturation()
Collection<Predicate>	getUnifiablePredicate(Predicate p) Return a collection of predicate unifiable with the given one
LinkedList<Partition<Term>>	getUnification(Atom father, Atom son) Return the list of c-unifier from the atom father to the atom son
LinkedList<Substitution>	homomorphism(Atom father, Atom son) Return the list of c-homomorphisms of the atom father to the atom son i.
boolean	isCompilable(Rule r) Return true if the specified rule is compilable.
boolean	isImplied(Atom father, Atom son) Return true iff the atom father is implied from the atom son with compiled rules (son -> father) i.
boolean	isMappable(Predicate father, Predicate son) can return true if there are not mappable
void	load(Iterator<Rule> ruleSet, Iterator<Rule> saturation) Load compilation from a preprocessed ruleset
String	toString()

Methods inherited from class fr.lirmm.graphik.graal.core.compilation.AbstractRulesCompilation

extractCompilable, getIrredondant, getProfiler, setProfiler

Methods inherited from class java.lang.Object

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

Constructor Detail

IDCompilation

public IDCompilation()

Method Detail

getSaturation

public Iterable<Rule> getSaturation()

compile

public void compile(Iterator<Rule> ruleset)

Description copied from interface: RulesCompilation

Extract compilable rules from the specified ruleset and compile them.

load

public void load(Iterator<Rule> ruleSet,
                 Iterator<Rule> saturation)

Description copied from interface: RulesCompilation

Load compilation from a preprocessed ruleset

getConditions

public List<fr.lirmm.graphik.graal.core.compilation.IDCondition> getConditions(Predicate predB,
                                                                               Predicate predH)

isCompilable

public boolean isCompilable(Rule r)

Return true if the specified rule is compilable.

isMappable

public boolean isMappable(Predicate father,
                          Predicate son)

can return true if there are not mappable

homomorphism

public LinkedList<Substitution> homomorphism(Atom father,
                                             Atom son)

Description copied from interface: RulesCompilation

Return the list of c-homomorphisms of the atom father to the atom son i. e. return all the homomorphisms that map father with a fact implied from the atom son with compiled rules

getUnification

public LinkedList<Partition<Term>> getUnification(Atom father,
                                                  Atom son)

Description copied from interface: RulesCompilation

Return the list of c-unifier from the atom father to the atom son

isImplied

public boolean isImplied(Atom father,
                         Atom son)

Description copied from interface: RulesCompilation

Return true iff the atom father is implied from the atom son with compiled rules (son -> father) i. e. the atom son is a R-rewriting of the atom father by compiled rules

getUnifiablePredicate

public Collection<Predicate> getUnifiablePredicate(Predicate p)

Description copied from interface: RulesCompilation

Return a collection of predicate unifiable with the given one

getRewritingOf

public Collection<org.apache.commons.lang3.tuple.Pair<Atom,Substitution>> getRewritingOf(Atom atom)

Return all possible rewritings of this Atom by this compilation.

toString

public String toString()

Overrides:

toString in class Object

appendTo

public void appendTo(StringBuilder sb)