Uses of Interface
gov.nasa.jpf.util.json.CGCreator

Packages that use CGCreator

Package	Description
gov.nasa.jpf.util.json

Uses of CGCreator in gov.nasa.jpf.util.json

Methods in gov.nasa.jpf.util.json that return CGCreator

Modifier and Type	Method and Description
CGCreator	CGCreatorFactory.getCGCreator(String key)

Methods in gov.nasa.jpf.util.json with parameters of type CGCreator

Modifier and Type	Method and Description
void	CGCreatorFactory.addCGCreator(String cgName, CGCreator cgCreator)