public class HierarchicalCompilation extends AbstractRulesCompilation
Constructor and Description |
---|
HierarchicalCompilation() |
Modifier and Type | Method and Description |
---|---|
void |
compile(Iterator<Rule> ruleset)
Extract compilable rules from the specified ruleset and compile them.
|
Collection<org.apache.commons.lang3.tuple.Pair<Atom,Substitution>> |
getRewritingOf(Atom father)
Return the list of atom that are R-rewriting of the atom father by
compiled rules
|
Iterable<Rule> |
getSaturation() |
Collection<Predicate> |
getUnifiablePredicate(Predicate p)
Return a collection of predicate unifiable with the given one
|
Collection<Partition<Term>> |
getUnification(Atom father,
Atom son)
Return the list of c-unifier from the atom father to the atom son
|
Collection<Substitution> |
homomorphism(Atom father,
Atom son)
Return the list of c-homomorphisms of the atom father to the atom son i.
|
boolean |
isCompilable(Rule rule)
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 answer true if there is no homomorphism
|
void |
load(Iterator<Rule> ruleset,
Iterator<Rule> compilation)
Load compilation from a preprocessed ruleset
|
String |
toString() |
extractCompilable, getIrredondant, getProfiler, setProfiler
public void compile(Iterator<Rule> ruleset)
RulesCompilation
public void load(Iterator<Rule> ruleset, Iterator<Rule> compilation)
RulesCompilation
public boolean isCompilable(Rule rule)
public boolean isMappable(Predicate father, Predicate son)
public Collection<Substitution> homomorphism(Atom father, Atom son)
RulesCompilation
public Collection<Partition<Term>> getUnification(Atom father, Atom son)
RulesCompilation
public boolean isImplied(Atom father, Atom son)
RulesCompilation
public Collection<Predicate> getUnifiablePredicate(Predicate p)
RulesCompilation
public Collection<org.apache.commons.lang3.tuple.Pair<Atom,Substitution>> getRewritingOf(Atom father)
RulesCompilation
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.