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

Packages that use DIMACSExporter.Parameter

Package	Description
org.jgrapht.io	Importers/Exporters for various graph formats.

Uses of DIMACSExporter.Parameter in org.jgrapht.io

Methods in org.jgrapht.io 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.io 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