public abstract class AbstractRulesCompilation extends Object implements RulesCompilation
Constructor and Description |
---|
AbstractRulesCompilation() |
Modifier and Type | Method and Description |
---|---|
protected LinkedList<Rule> |
extractCompilable(Iterator<Rule> ruleSet)
Remove compilable rule from ruleSet and return a List of compilable
rules.
|
InMemoryAtomSet |
getIrredondant(InMemoryAtomSet atomSet)
Filters redundant atom in the specified atom-set with respect to this rule compilation.
|
Profiler |
getProfiler() |
void |
setProfiler(Profiler profiler) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
compile, getRewritingOf, getSaturation, getUnifiablePredicate, getUnification, homomorphism, isCompilable, isImplied, isMappable, load
public void setProfiler(Profiler profiler)
setProfiler
in interface Profilable
public Profiler getProfiler()
getProfiler
in interface Profilable
public InMemoryAtomSet getIrredondant(InMemoryAtomSet atomSet)
RulesCompilation
getIrredondant
in interface RulesCompilation
protected final LinkedList<Rule> extractCompilable(Iterator<Rule> ruleSet)
ruleSet
- Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.