fr.lirmm.graphik.graal.homomorphism

Class PureHomomorphism

java.lang.Object

fr.lirmm.graphik.util.profiler.AbstractProfilable

fr.lirmm.graphik.graal.homomorphism.PureHomomorphism

All Implemented Interfaces:

ExistentialHomomorphism<InMemoryAtomSet,AtomSet>, ExistentialHomomorphismWithCompilation<InMemoryAtomSet,AtomSet>, Profilable

public class PureHomomorphism
extends AbstractProfilable
implements ExistentialHomomorphismWithCompilation<InMemoryAtomSet,AtomSet>

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

Author:

Mélanie KÖNIG

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	PureHomomorphism()

Method Summary

Modifier and Type	Method and Description
boolean	exist(InMemoryAtomSet source, AtomSet target) Look if there exists an homomorphism of q into a.
boolean	exist(InMemoryAtomSet source, AtomSet target, RulesCompilation compilation) Look if there exists an homomorphism of q into a.
static PureHomomorphism	instance()

Methods inherited from class fr.lirmm.graphik.util.profiler.AbstractProfilable

getProfiler, setProfiler

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface fr.lirmm.graphik.util.profiler.Profilable

getProfiler, setProfiler

Constructor Detail

PureHomomorphism

protected PureHomomorphism()

Method Detail

instance

public static PureHomomorphism instance()

exist

public boolean exist(InMemoryAtomSet source,
                     AtomSet target,
                     RulesCompilation compilation)
              throws HomomorphismException

Description copied from interface: ExistentialHomomorphismWithCompilation

Look if there exists an homomorphism of q into a.

Specified by:

exist in interface ExistentialHomomorphismWithCompilation<InMemoryAtomSet,AtomSet>

Returns:

true if there exists an homomorphism of q into a, false otherwise.

Throws:

HomomorphismException

exist

public boolean exist(InMemoryAtomSet source,
                     AtomSet target)
              throws HomomorphismException

Description copied from interface: ExistentialHomomorphism

Look if there exists an homomorphism of q into a.

Specified by:

exist in interface ExistentialHomomorphism<InMemoryAtomSet,AtomSet>

Returns:

true if there exists an homomorphism of q into a, false otherwise.

Throws:

HomomorphismException