Class SolutionMappingsIndexWithPostMatching
java.lang.Object
se.liu.ida.hefquin.base.datastructures.impl.WrappingSolutionMappingsIndex
se.liu.ida.hefquin.base.datastructures.impl.SolutionMappingsIndexWithPostMatching
- All Implemented Interfaces:
Iterable<SolutionMapping>,Collection<SolutionMapping>,SolutionMappingsIndex,StatsProvider
-
Field Summary
Fields inherited from class se.liu.ida.hefquin.base.datastructures.impl.WrappingSolutionMappingsIndex
wrappedIndex -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionReturns an iterator over all solution mappings in this index that are compatible with the given solution mappings.Methods inherited from class se.liu.ida.hefquin.base.datastructures.impl.WrappingSolutionMappingsIndex
add, addAll, clear, contains, containsAll, findSolutionMappings, findSolutionMappings, findSolutionMappings, getAllSolutionMappings, getStats, isEmpty, remove, removeAll, resetStats, retainAll, size, toArray, toArrayMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface java.util.Collection
equals, hashCode, parallelStream, removeIf, spliterator, stream, toArrayMethods inherited from interface se.liu.ida.hefquin.base.datastructures.SolutionMappingsIndex
iterator
-
Constructor Details
-
SolutionMappingsIndexWithPostMatching
-
-
Method Details
-
getJoinPartners
Description copied from interface:SolutionMappingsIndexReturns an iterator over all solution mappings in this index that are compatible with the given solution mappings. Implementations may choose to support this method only for specific types of solution mappings (e.g., with specific variables), in which case anUnsupportedOperationExceptionwill be thrown if the method is called with an unsupported variable.- Specified by:
getJoinPartnersin interfaceSolutionMappingsIndex- Overrides:
getJoinPartnersin classWrappingSolutionMappingsIndex
-