Package ru.ispras.fortress.solver
Enum SolverId
- java.lang.Object
-
- java.lang.Enum<SolverId>
-
- ru.ispras.fortress.solver.SolverId
-
-
Enum Constant Summary
Enum Constants Enum Constant Description BOOLECTOR_TEXT
CVC4_TEXT
CVC4 solver, a joint project of Stanford University and University of Iowa.SAT4J_API
Sat4j solver, a Java implementation of MiniSAT (extended w/ other engines).Z3_TEXT
Z3 solver by Microsoft Research.
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description Solver
getSolver()
Returns a singleton instance of a corresponding solver.protected abstract Solver
newSolver()
static SolverId
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static SolverId[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
Z3_TEXT
public static final SolverId Z3_TEXT
Z3 solver by Microsoft Research.It processes a text file with SMT-LIB code and prints results to the output stream.
-
CVC4_TEXT
public static final SolverId CVC4_TEXT
CVC4 solver, a joint project of Stanford University and University of Iowa.It processes a text file with SMT-LIB code and prints results to the output stream.
-
BOOLECTOR_TEXT
public static final SolverId BOOLECTOR_TEXT
-
SAT4J_API
public static final SolverId SAT4J_API
Sat4j solver, a Java implementation of MiniSAT (extended w/ other engines).
-
-
Method Detail
-
values
public static SolverId[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (SolverId c : SolverId.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static SolverId valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null
-
getSolver
public final Solver getSolver()
Returns a singleton instance of a corresponding solver.- Returns:
- Solver instance.
-
newSolver
protected abstract Solver newSolver()
-
-