| Modifier and Type | Method and Description |
|---|---|
CloseableIterator<ConjunctiveQuery> |
QueryRewriterWithCompilation.execute(ConjunctiveQuery query,
Iterable<Rule> rules,
RulesCompilation compilation)
Rewrite the specified query using the specified set of rules and compilation.
|
CloseableIterator<ConjunctiveQuery> |
QueryRewriterWithCompilation.execute(ConjunctiveQuery query,
Iterable<Rule> rules,
RulesCompilation compilation,
long timeout)
Rewrite the specified query using the specified set of rules and compilation.
|
| Modifier and Type | Method and Description |
|---|---|
CloseableIterator<Substitution> |
HomomorphismWithCompilation.execute(T1 q,
T2 a,
RulesCompilation compilation)
Look for the homomorphisms of the specified object into the specified
atomset.
|
boolean |
ExistentialHomomorphismWithCompilation.exist(T1 q,
T2 a,
RulesCompilation compilation)
Look if there exists an homomorphism of q into a.
|
PreparedHomomorphism |
HomomorphismPattern.prepareHomomorphism(T1 query,
Set<Variable> variablesToParameterize,
T2 data,
RulesCompilation compilation)
Creates a PreparedHomomorphism object for sending parameterized query to the store.
|
<U1 extends T1,U2 extends T2> |
ExistentialHomomorphismPattern.prepareHomomorphism(U1 query,
Set<Variable> variablesToParameterize,
U2 data,
RulesCompilation compilation)
Creates a PreparedHomomorphism object for sending parameterized query to the store.
|
| Modifier and Type | Method and Description |
|---|---|
CloseableIteratorWithoutException<ConjunctiveQuery> |
PureRewriter.execute(ConjunctiveQuery query,
Iterable<Rule> rules,
RulesCompilation compilation) |
CloseableIteratorWithoutException<ConjunctiveQuery> |
PureRewriter.execute(ConjunctiveQuery query,
Iterable<Rule> rules,
RulesCompilation compilation,
long timeout) |
Collection<ConjunctiveQuery> |
BasicAggregAllRulesOperator.getRewritesFrom(ConjunctiveQuery q,
IndexedByHeadPredicatesRuleSet ruleSet,
RulesCompilation compilation)
Returns the rewrites compute from the given fact and the rule set of the
receiving object.
|
Collection<ConjunctiveQuery> |
AggregSingleRuleOperator.getRewritesFrom(ConjunctiveQuery q,
IndexedByHeadPredicatesRuleSet ruleSet,
RulesCompilation compilation)
Returns the rewrites compute from the given fact and the rule set of the
receiving object.
|
Collection<ConjunctiveQuery> |
AggregAllRulesOperator.getRewritesFrom(ConjunctiveQuery q,
IndexedByHeadPredicatesRuleSet ruleSet,
RulesCompilation compilation)
Returns the rewrites compute from the given fact and the rule set of the
receiving object.
|
Collection<ConjunctiveQuery> |
RewritingOperator.getRewritesFrom(ConjunctiveQuery q,
IndexedByHeadPredicatesRuleSet ruleSet,
RulesCompilation compilation)
Returns the rewrites compute from the given fact and the rule set of the
receiving object.
|
protected List<QueryUnifier> |
AbstractRewritingOperator.getSinglePieceUnifiers(ConjunctiveQuery q,
Rule r,
RulesCompilation compilation) |
protected List<QueryUnifier> |
AbstractRewritingOperator.getSRUnifier(ConjunctiveQuery q,
Rule r,
RulesCompilation compilation)
Aggregated Mono piece unifier
|
protected List<QueryUnifier> |
AggregAllRulesOperator.getSRUnifier(ConjunctiveQuery q,
Rule r,
RulesCompilation compilation) |
LinkedList<Atom> |
AggregAllRulesOperator.getUnifiableAtoms(fr.lirmm.graphik.graal.backward_chaining.pure.MarkedQuery query,
Rule rule,
RulesCompilation compilation)
Returns the list of the atoms of the query that can be unify with the
head of R
|
protected Collection<Rule> |
AbstractRewritingOperator.getUnifiableRules(CloseableIteratorWithoutException<Predicate> preds,
IndexedByHeadPredicatesRuleSet ruleSet,
RulesCompilation compilation) |
static CloseableIteratorWithoutException<ConjunctiveQuery> |
PureRewriter.unfold(CloseableIterable<ConjunctiveQuery> pivotRewritingSet,
RulesCompilation compilation) |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractRulesCompilation |
class |
HierarchicalCompilation |
class |
IDCompilation |
class |
NoCompilation |
| Modifier and Type | Method and Description |
|---|---|
static LinkedList<QueryUnifier> |
UnifierUtils.getSinglePieceUnifiersAHR(ConjunctiveQuery q,
AtomicHeadRule r,
RulesCompilation compilation)
Returns the list of all single-piece unifier between the given query and
the given atomic-head rule cannot work with IDCompilation ( have to
conserve the fact that an atom of the query can only been associated by a
single unification with an atom of the head
AHR: Atomic Header Rule |
static List<QueryUnifier> |
UnifierUtils.getSinglePieceUnifiersNAHR(ConjunctiveQuery q,
Rule r,
RulesCompilation compilation) |
static LinkedList<Atom> |
UnifierUtils.getUnifiableAtoms(ConjunctiveQuery query,
Rule r,
RulesCompilation compilation)
Returns the list of the atoms of the query that can be unify with the
head of R
|
| Modifier and Type | Method and Description |
|---|---|
CloseableIterator<Term> |
Bootstrapper.exec(VarSharedData v,
Collection<Atom> preAtoms,
Collection<Atom> postAtoms,
AtomSet data,
RulesCompilation compilation) |
CloseableIterator<Term> |
StatBootstrapper.exec(VarSharedData v,
Collection<Atom> preAtoms,
Collection<Atom> postAtoms,
AtomSet data,
RulesCompilation rc) |
CloseableIterator<Term> |
AllDomainBootstrapper.exec(VarSharedData v,
Collection<Atom> preAtoms,
Collection<Atom> postAtoms,
AtomSet data,
RulesCompilation compilation) |
CloseableIterator<Term> |
StarBootstrapper.exec(VarSharedData v,
Collection<Atom> preAtoms,
Collection<Atom> postAtoms,
AtomSet data,
RulesCompilation compilation) |
CloseableIterator<Term> |
DefaultBootstrapper.exec(VarSharedData v,
Collection<Atom> preAtoms,
Collection<Atom> postAtoms,
AtomSet data,
RulesCompilation compilation) |
| Modifier and Type | Method and Description |
|---|---|
VarSharedData[] |
DefaultScheduler.execute(InMemoryAtomSet h,
List<Term> ans,
AtomSet data,
RulesCompilation rc) |
VarSharedData[] |
FixedOrderScheduler.execute(InMemoryAtomSet h,
List<Term> ans,
AtomSet data,
RulesCompilation rc) |
VarSharedData[] |
Scheduler.execute(InMemoryAtomSet h,
List<Term> ans,
AtomSet data,
RulesCompilation rc)
Compute the order.
|
VarSharedData[] |
PatternScheduler.execute(InMemoryAtomSet query,
Set<Variable> preAffectedVars,
List<Term> ans,
AtomSet data,
RulesCompilation rc) |
| Modifier and Type | Method and Description |
|---|---|
static double |
ProbaUtils.computeProba(Atom atom,
Store data,
RulesCompilation rc)
Compute the probability to have one specific instance of the specified
atom over data
|
static boolean |
BacktrackUtils.isHomomorphism(Iterable<Atom> atomsFrom,
AtomSet atomsTo,
Substitution initialSubstitution,
Map<Variable,Integer> index,
Var[] varData,
RulesCompilation rc) |
| Constructor and Description |
|---|
HomomorphismIteratorChecker(Var var,
CloseableIterator<Term> it,
Iterable<Atom> h,
AtomSet g,
Substitution initialSubstitution,
Map<Variable,Integer> map,
Var[] varData,
RulesCompilation rc)
Check over it, the images for var such that there exists an homomorphism
from h to g.
|
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.