Uses of Enum Class
org.smtlib.SolverCapabilities.Support

Packages that use SolverCapabilities.Support

Package	Description
org.smtlib	This package contains the main classes and abstract interfaces for this SMT-LIB tool; the tool provides a stand-alone SMT-LIB-compliant command-line application, an application that responds to SMT-LIB commands over a network port, and an SMT-LIB Java API.

Uses of SolverCapabilities.Support in org.smtlib

Methods in org.smtlib that return SolverCapabilities.Support

Modifier and Type	Method	Description
static SolverCapabilities.Support	SolverCapabilities.supports(String solvername, String capability)	As SolverCapabilities.supports(String, Capability), with the capability given by its token or enum name
static SolverCapabilities.Support	SolverCapabilities.supports(String solvername, SolverCapabilities.Capability capability)	Whether the solver supports the capability, according to the merged jsmtlib.properties
static SolverCapabilities.Support	SolverCapabilities.supports(Properties props, String solvername, SolverCapabilities.Capability capability)	Whether the solver supports the capability, according to the given properties
static SolverCapabilities.Support	SolverCapabilities.Support.valueOf(String name)	Returns the enum constant of this class with the specified name.
static SolverCapabilities.Support[]	SolverCapabilities.Support.values()	Returns an array containing the constants of this enum class, in the order they are declared.