| Interface | Description |
|---|---|
| ExistentialHomomorphism<T1,T2 extends AtomSet> | |
| ExistentialHomomorphismChecker |
Allow to know if an homomorphism solver can be applied.
|
| ExistentialHomomorphismPattern<T1,T2> | |
| ExistentialHomomorphismWithCompilation<T1,T2 extends AtomSet> | |
| Homomorphism<T1,T2 extends AtomSet> | |
| HomomorphismChecker |
Allow to know if an homomorphism solver can be applied.
|
| HomomorphismPattern<T1,T2 extends AtomSet> | |
| HomomorphismWithCompilation<T1,T2 extends AtomSet> | |
| PreparedExistentialHomomorphism | |
| PreparedHomomorphism | |
| UCQHomomorphism<A extends AtomSet> | |
| UCQHomomorphismWithCompilation<A extends AtomSet> |
| Class | Description |
|---|---|
| AbstractChecker |
| Exception | Description |
|---|---|
| HomomorphismException | |
| HomomorphismFactoryException |
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.