Package org.smtlib

Enum Class SolverCapabilities.Capability

java.lang.Object

java.lang.Enum<SolverCapabilities.Capability>

org.smtlib.SolverCapabilities.Capability

All Implemented Interfaces:

Serializable, Comparable<SolverCapabilities.Capability>, Constable

Enclosing class:

SolverCapabilities

public static enum SolverCapabilities.Capability
extends Enum<SolverCapabilities.Capability>

The capabilities that can be queried; token is the name used in the properties

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
DATATYPES
FLOATING_POINT
PROOFS	get-proof returns a parsable s-expression (SMT-LIB fixes no proof format)
STRINGS

Field Summary

Fields

Modifier and Type	Field	Description
final String	token

Method Summary

Modifier and Type	Method	Description
static SolverCapabilities.Capability	lookup(String name)	The capability whose token or enum name is the given name, ignoring case; null if none
static SolverCapabilities.Capability	valueOf(String name)	Returns the enum constant of this class with the specified name.
static SolverCapabilities.Capability[]	values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

STRINGS

public static final SolverCapabilities.Capability STRINGS

FLOATING_POINT

public static final SolverCapabilities.Capability FLOATING_POINT

DATATYPES

public static final SolverCapabilities.Capability DATATYPES

PROOFS

public static final SolverCapabilities.Capability PROOFS

get-proof returns a parsable s-expression (SMT-LIB fixes no proof format)

Field Details

token

public final String token

Method Details

values

public static SolverCapabilities.Capability[] values()

Returns an array containing the constants of this enum class, in the order they are declared.

Returns:

an array containing the constants of this enum class, in the order they are declared

valueOf

public static SolverCapabilities.Capability valueOf(String name)

Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (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:

IllegalArgumentException - if this enum class has no constant with the specified name

NullPointerException - if the argument is null

lookup

public static SolverCapabilities.Capability lookup(String name)

The capability whose token or enum name is the given name, ignoring case; null if none