public interface RulesCompilation extends Profilable
Modifier and Type | Method and Description |
---|---|
void |
compile(Iterator<Rule> ruleset)
Extract compilable rules from the specified ruleset and compile them.
|
InMemoryAtomSet |
getIrredondant(InMemoryAtomSet atomSet)
Filters redundant atom in the specified atom-set with respect to this rule compilation.
|
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 r)
Return true if the given rule is compilable by this kind of rules
compilation.
|
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)
Return true iff there is a way to rewrite an atom with the predicate
father into an atom with the predicate son.
|
void |
load(Iterator<Rule> ruleset,
Iterator<Rule> compilation)
Load compilation from a preprocessed ruleset
|
getProfiler, setProfiler
void compile(Iterator<Rule> ruleset)
ruleset
- void load(Iterator<Rule> ruleset, Iterator<Rule> compilation)
ruleset
- compilation
- boolean isCompilable(Rule r)
boolean isMappable(Predicate father, Predicate son)
Collection<Substitution> homomorphism(Atom father, Atom son)
Collection<Partition<Term>> getUnification(Atom father, Atom son)
boolean isImplied(Atom father, Atom son)
Collection<org.apache.commons.lang3.tuple.Pair<Atom,Substitution>> getRewritingOf(Atom father)
Collection<Predicate> getUnifiablePredicate(Predicate p)
InMemoryAtomSet getIrredondant(InMemoryAtomSet atomSet)
atomSet
- Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.