Uses of Class
org.sat4j.sat.StartSolverEnum

Packages that use StartSolverEnum

org.sat4j.sat

Implementation of a sat4j Launcher.

Uses of StartSolverEnum in org.sat4j.sat

Methods in org.sat4j.sat that return StartSolverEnum

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.