Interface MarkedMemory<Value>
-
- All Superinterfaces:
Clearable
,IMemory<Value>
,IMemoryView<Value>
,java.lang.Iterable<Value>
- All Known Subinterfaces:
MarkedMemory.MarkedDeltaBag<Value>
,MarkedMemory.MarkedMultiset<Value>
,MarkedMemory.MarkedSet<Value>
public interface MarkedMemory<Value> extends IMemory<Value>
Internal marker type, must only be instantiated inside implementors of IMultiLookupImpl- Since:
- 2.0
- No Implement:
- This interface is not intended to be implemented by clients.
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interface
MarkedMemory.MarkedDeltaBag<Value>
static interface
MarkedMemory.MarkedMultiset<Value>
static interface
MarkedMemory.MarkedSet<Value>
-
Method Summary
-
Methods inherited from interface org.eclipse.viatra.query.runtime.matchers.util.IMemory
addOne, addSigned, clear, clearAllOf, removeOne, removeOneOrNop
-
Methods inherited from interface org.eclipse.viatra.query.runtime.matchers.util.IMemoryView
asMap, asStream, containsNonZero, containsNonZeroUnsafe, distinctValues, entriesWithMultiplicities, forEachEntryWithMultiplicities, getCount, getCountUnsafe, isEmpty, size, theContainedVersionOf, theContainedVersionOfUnsafe
-
-