static final class InstanceDomain.InstanceDomainStore extends PcpMmvWriter.Store<InstanceDomain>
Modifier and Type | Field and Description |
---|---|
private InstanceStoreFactory |
instanceStoreFactory |
identifierSource
Constructor and Description |
---|
InstanceDomainStore(IdentifierSourceSet identifierSources,
InstanceStoreFactory instanceStoreFactory) |
Modifier and Type | Method and Description |
---|---|
protected InstanceDomain |
newInstance(java.lang.String name,
java.util.Set<java.lang.Integer> usedIds) |
all, byName, size
private InstanceStoreFactory instanceStoreFactory
InstanceDomainStore(IdentifierSourceSet identifierSources, InstanceStoreFactory instanceStoreFactory)
protected InstanceDomain newInstance(java.lang.String name, java.util.Set<java.lang.Integer> usedIds)
newInstance
in class PcpMmvWriter.Store<InstanceDomain>