Interface MarkedMemory.MarkedDeltaBag<Value>
-
- All Superinterfaces:
Clearable
,IMemory<Value>
,IMemoryView<Value>
,java.lang.Iterable<Value>
,MarkedMemory<Value>
- Enclosing interface:
- MarkedMemory<Value>
public static interface MarkedMemory.MarkedDeltaBag<Value> extends MarkedMemory<Value>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.eclipse.viatra.query.runtime.matchers.util.MarkedMemory
MarkedMemory.MarkedDeltaBag<Value>, MarkedMemory.MarkedMultiset<Value>, 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
-
-