public class ParameterGroupIdDb extends Object
| Modifier and Type | Method and Description |
|---|---|
int |
createAndGet(int[] parameterIdArray)
Creates (if not already there) a new ParameterGroupId for the given parameter id array
The parameter id array is sorted before
|
int |
createAndGet(SortedIntArray s)
Creates (if not already there) a new ParameterGroupId for the given parameter id array
|
int[] |
getAllGroups(int pid)
get all parameter group ids for the parameters from which this parameter id is part of
|
void |
print(PrintStream out) |
String |
toString() |
public int createAndGet(SortedIntArray s) throws org.rocksdb.RocksDBException
s - org.rocksdb.RocksDBExceptionpublic int createAndGet(int[] parameterIdArray)
throws org.rocksdb.RocksDBException
parameterIdArray - org.rocksdb.RocksDBExceptionpublic void print(PrintStream out)
public int[] getAllGroups(int pid)
pid - Copyright © 2017 Space Applications Services. All rights reserved.