Uses of Class
org.aksw.sparqlify.core.algorithms.UnsatisfiabilityException

Packages that use UnsatisfiabilityException

Package	Description
org.aksw.sparqlify.core.algorithms

Uses of UnsatisfiabilityException in org.aksw.sparqlify.core.algorithms

Methods in org.aksw.sparqlify.core.algorithms that throw UnsatisfiabilityException

Modifier and Type	Method and Description
C	CandidateViewSelectorBase.createContext(C baseContext, ViewInstance<T> viewInstance) Optionally override this method to track custom information during the recursion of candidate selection of quad patterns
Mapping	CandidateViewSelectorImpl.createContext(Mapping baseMapping, ViewInstance<ViewDefinition> viewInstance) Create a new context based on the baseContext and the current candidate viewInstance if null is returned, the candidateViewInstance becomes rejected, otherwise, the new context will be passed to this function together with all sub candidate viewInstances.