Package | Description |
---|---|
gov.nasa.jpf.util.json |
Modifier and Type | Method and Description |
---|---|
CGCreator |
CGCreatorFactory.getCGCreator(String key) |
Modifier and Type | Method and Description |
---|---|
void |
CGCreatorFactory.addCGCreator(String cgName,
CGCreator cgCreator) |