Class | Description |
---|---|
AbstractHomomorphism<T1,T2 extends AtomSet> | |
AbstractHomomorphismWithCompilation<T1,T2 extends AtomSet> | |
AtomicQueryHomomorphism |
An homomorphism for Atomic query without multiple occurences of a variables.
|
AtomicQueryHomomorphismWithNegatedParts |
An homomorphism for Atomic query without constant or multiple occurences of a variables.
|
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.
|
BacktrackHomomorphismPattern | |
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.
|
DefaultUCQHomomorphism | |
DefaultUCQHomomorphismWithCompilation | |
FullyInstantiatedQueryHomomorphism | |
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
|
RecursiveBacktrackHomomorphism | Deprecated |
SmartHomomorphism | |
Var | |
VarSharedData |
Exception | Description |
---|---|
BacktrackException |
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.