public class BacktrackHomomorphismWithNegatedParts extends AbstractHomomorphismWithCompilation<ConjunctiveQueryWithNegatedParts,AtomSet> implements HomomorphismWithCompilation<ConjunctiveQueryWithNegatedParts,AtomSet>
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Substitution> |
execute(ConjunctiveQueryWithNegatedParts q,
AtomSet a,
RulesCompilation compilation)
Look for the homomorphisms of the specified object into the specified
atomset.
|
execute, exist, exist
getProfiler, setProfiler
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
exist
execute
exist
getProfiler, setProfiler
public BacktrackHomomorphismWithNegatedParts()
public BacktrackHomomorphismWithNegatedParts(Bootstrapper bs)
bs
- the Bootstrapper
bootstrapper to be used.public BacktrackHomomorphismWithNegatedParts(ForwardChecking fc)
fc
- the forward-checking
to be used.public BacktrackHomomorphismWithNegatedParts(Bootstrapper bs, ForwardChecking fc, BackJumping bj)
bs
- the Bootstrapper
bootstrapper to be used.fc
- the forward-checking
to be used.bj
- the back-jumping
to be used.public BacktrackHomomorphismWithNegatedParts(BackJumping bj)
bj
- the back-jumping
to be used.public BacktrackHomomorphismWithNegatedParts(boolean enableBCC)
enableBCC
- enable or disable BCC
public BacktrackHomomorphismWithNegatedParts(boolean enableBCC, Bootstrapper bs)
enableBCC
- enable or disable BCC
bs
- the Bootstrapper
bootstrapper to be used.public BacktrackHomomorphismWithNegatedParts(boolean enableBCC, ForwardChecking fc)
enableBCC
- enable or disable BCC
fc
- the forward-checking
to be used.public BacktrackHomomorphismWithNegatedParts(boolean enableBCC, BackJumping bj)
enableBCC
- enable or disable BCC
bj
- the back-jumping
to be used.public BacktrackHomomorphismWithNegatedParts(boolean enableBCC, Bootstrapper bs, ForwardChecking fc, BackJumping bj)
enableBCC
- enable or disable BCC
bs
- the Bootstrapper
bootstrapper to be used.fc
- the forward-checking
to be used.bj
- the back-jumping
to be used.public BacktrackHomomorphismWithNegatedParts(BCC bcc)
StarBootstrapper
, NFC2
,
GraphBaseBackJumping
and a specified BCC
instance.BCC
- the BCC
to be used.public BacktrackHomomorphismWithNegatedParts(BCC bcc, Bootstrapper bs)
BCC
- the BCC
to be used.bs
- the Bootstrapper
bootstrapper to be used.public BacktrackHomomorphismWithNegatedParts(BCC bcc, ForwardChecking fc)
StarBootstrapper
,
GraphBaseBackJumping
and a specified BCC
and
ForwardChecking
.BCC
- the BCC
to be used.fc
- the forward-checking
to be used.public BacktrackHomomorphismWithNegatedParts(BCC bcc, BackJumping bj)
BCC
- the BCC
to be used.bj
- the back-jumping
to be used.public BacktrackHomomorphismWithNegatedParts(BCC bcc, Bootstrapper bs, ForwardChecking fc, BackJumping bj)
BCC
- the BCC
to be used.bs
- the Bootstrapper
bootstrapper to be used.fc
- the forward-checking
to be used.bj
- the back-jumping
to be used.public BacktrackHomomorphismWithNegatedParts(Scheduler s)
scheduler
. Note
that specifying the scheduler disables BCC
optimizations.s
- the scheduler.public BacktrackHomomorphismWithNegatedParts(Scheduler s, Bootstrapper bs)
scheduler
and
bootstrapper
. Note that specifying the scheduler
disables BCC
optimizations.s
- the scheduler.public BacktrackHomomorphismWithNegatedParts(Scheduler s, ForwardChecking fc)
scheduler
and
forward-checking
. Note that specifying the
scheduler disables BCC
optimizations.s
- the scheduler.public BacktrackHomomorphismWithNegatedParts(Scheduler s, BackJumping bj)
scheduler
and
back-jumping
. Note that specifying the scheduler
disables BCC
optimizations.s
- the scheduler.public BacktrackHomomorphismWithNegatedParts(Scheduler s, Bootstrapper bs, ForwardChecking fc, BackJumping bj)
scheduler
,
bootstrapper
, forward-checking
and back-jumping
. Note that
specifying the scheduler disables BCC
optimizations.s
- the scheduler.public CloseableIterator<Substitution> execute(ConjunctiveQueryWithNegatedParts q, AtomSet a, RulesCompilation compilation) throws HomomorphismException
HomomorphismWithCompilation
execute
in interface HomomorphismWithCompilation<ConjunctiveQueryWithNegatedParts,AtomSet>
HomomorphismException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.