Uses of Class
org.sat4j.sat.StartSolverEnum

Packages that use StartSolverEnum

Package	Description
org.sat4j.sat	Implementation of a sat4j Launcher.

Uses of StartSolverEnum in org.sat4j.sat

Methods in org.sat4j.sat that return StartSolverEnum

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