Uses of Class
org.jgrapht.ext.DIMACSExporter.Parameter

Packages that use DIMACSExporter.Parameter

Package	Description
org.jgrapht.ext	Extensions and integration means to other products.

Uses of DIMACSExporter.Parameter in org.jgrapht.ext

Methods in org.jgrapht.ext that return DIMACSExporter.Parameter

Modifier and Type	Method and Description
static DIMACSExporter.Parameter	DIMACSExporter.Parameter.valueOf(String name) Returns the enum constant of this type with the specified name.
static DIMACSExporter.Parameter[]	DIMACSExporter.Parameter.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.jgrapht.ext with parameters of type DIMACSExporter.Parameter

Modifier and Type	Method and Description
boolean	DIMACSExporter.isParameter(DIMACSExporter.Parameter p) Return if a particular parameter of the exporter is enabled
void	DIMACSExporter.setParameter(DIMACSExporter.Parameter p, boolean value) Set the value of a parameter of the exporter