Uses of Class
fr.lirmm.graphik.util.profiler.AbstractProfilable

Packages that use AbstractProfilable

Package	Description
fr.lirmm.graphik.graal.backward_chaining.pure
fr.lirmm.graphik.graal.forward_chaining.halting_condition
fr.lirmm.graphik.graal.homomorphism
fr.lirmm.graphik.graal.homomorphism.backjumping
fr.lirmm.graphik.graal.homomorphism.bootstrapper
fr.lirmm.graphik.graal.homomorphism.forward_checking
fr.lirmm.graphik.graal.homomorphism.scheduler
fr.lirmm.graphik.graal.kb
fr.lirmm.graphik.graal.store.rdbms.homomorphism

Uses of AbstractProfilable in fr.lirmm.graphik.graal.backward_chaining.pure

Subclasses of AbstractProfilable in fr.lirmm.graphik.graal.backward_chaining.pure

Modifier and Type	Class and Description
class	PureRewriter

Uses of AbstractProfilable in fr.lirmm.graphik.graal.forward_chaining.halting_condition

Subclasses of AbstractProfilable in fr.lirmm.graphik.graal.forward_chaining.halting_condition

Modifier and Type	Class and Description
class	RestrictedChaseHaltingCondition This HaltingCondition will produce new data according to a rule, a substitution s and specified data if s cannot be extended to a homomorphism from B ∪ H to F where B is the rule body, H the rule HEAD and F the data.

Uses of AbstractProfilable in fr.lirmm.graphik.graal.homomorphism

Subclasses of AbstractProfilable in fr.lirmm.graphik.graal.homomorphism

Modifier and Type	Class and Description
class	AbstractHomomorphism<T1,T2 extends AtomSet>
class	AbstractHomomorphismWithCompilation<T1,T2 extends AtomSet>
class	AtomicQueryHomomorphism An homomorphism for Atomic query without multiple occurences of a variables.
class	AtomicQueryHomomorphismWithNegatedParts An homomorphism for Atomic query without constant or multiple occurences of a variables.
class	BacktrackHomomorphism This Backtrack is inspired by the Baget Jean-François Thesis (Chapter 5) see also "Backtracking Through Biconnected Components of a Constraint Graph" (Jean-François Baget, Yannic S.
class	BacktrackHomomorphismPattern
class	BacktrackHomomorphismWithNegatedParts This Backtrack is inspired by the Baget Jean-François Thesis (Chapter 5) see also "Backtracking Through Biconnected Components of a Constraint Graph" (Jean-François Baget, Yannic S.
class	DefaultUCQHomomorphism
class	DefaultUCQHomomorphismWithCompilation
class	FullyInstantiatedQueryHomomorphism
class	PureHomomorphism A simple implementation of an algorithm to find if there exist an homomorphism between two facts Backtrack algorithm that look for an association of atoms that correspond to a substitution of terms efficient for simple facts of small size
class	SmartHomomorphism

Uses of AbstractProfilable in fr.lirmm.graphik.graal.homomorphism.backjumping

Subclasses of AbstractProfilable in fr.lirmm.graphik.graal.homomorphism.backjumping

Modifier and Type	Class and Description
class	GraphBaseBackJumping The GraphBaseBackJumping allows jump (in case of failure) to the last neighbor node from the query graph (in the search order of the variable) Reference: Dechter, R.
class	NoBackJumping

Uses of AbstractProfilable in fr.lirmm.graphik.graal.homomorphism.bootstrapper

Subclasses of AbstractProfilable in fr.lirmm.graphik.graal.homomorphism.bootstrapper

Modifier and Type	Class and Description
class	AllDomainBootstrapper This implementation uses all domain (all terms from data) to bootstrap.
class	DefaultBootstrapper This implementation uses an randomly selected atom containing the variable v to restrict the set of candidates.
class	StarBootstrapper This implementation uses the star query around the variable v to restrict the set of candidates.
class	StatBootstrapper This implementation uses the atom containing v with the smallest probability of being true to restrict the set of candidates.

Uses of AbstractProfilable in fr.lirmm.graphik.graal.homomorphism.forward_checking

Subclasses of AbstractProfilable in fr.lirmm.graphik.graal.homomorphism.forward_checking

Modifier and Type	Class and Description
class	AbstractNFC
class	NFC0 NFC0 is a ForwardChecking implementation for HyperGraph with delayed local propagation.
class	NFC2 NFC2 is a ForwardChecking implementation for HyperGraph with immediate local propagation in one step.
class	NFC2WithLimit NFC2 is a ForwardChecking implementation for HyperGraph with immediate local propagation in one step.
class	NoForwardChecking
class	SimpleFC SimpleFC is a simple ForwardChecking implementation for HyperGraph with immediate local checking in one step.

Uses of AbstractProfilable in fr.lirmm.graphik.graal.homomorphism.scheduler

Subclasses of AbstractProfilable in fr.lirmm.graphik.graal.homomorphism.scheduler

Modifier and Type	Class and Description
class	DefaultScheduler Compute an order over variables from h.
class	FixedOrderScheduler

Uses of AbstractProfilable in fr.lirmm.graphik.graal.kb

Subclasses of AbstractProfilable in fr.lirmm.graphik.graal.kb

Modifier and Type	Class and Description
class	DefaultKnowledgeBase

Uses of AbstractProfilable in fr.lirmm.graphik.graal.store.rdbms.homomorphism

Subclasses of AbstractProfilable in fr.lirmm.graphik.graal.store.rdbms.homomorphism

Modifier and Type	Class and Description
class	SqlHomomorphism
class	SqlUCQHomomorphism SQL homomorphism for Union Conjunctive Queries