Uses of Enum Class
org.smtlib.SMT.Configuration.SMTLIB

Packages that use SMT.Configuration.SMTLIB

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.
org.smtlib.sexpr	This package is a concrete implementation of a particular concrete syntax for the abstract SMT-LIB semantics.

Uses of SMT.Configuration.SMTLIB in org.smtlib

Fields in org.smtlib declared as SMT.Configuration.SMTLIB

Modifier and Type	Field	Description
SMT.Configuration.SMTLIB	SMT.Configuration.smtlib	The version of SMT-LIB to be supported; null means the default (most recent version)

Fields in org.smtlib with type parameters of type SMT.Configuration.SMTLIB

Modifier and Type	Field	Description
Map<String,SMT.Configuration.SMTLIB>	SMT.Configuration.reservedSince	The version in which a reserved word became reserved, for those not reserved in V2.0

Methods in org.smtlib that return SMT.Configuration.SMTLIB

Modifier and Type	Method	Description
static SMT.Configuration.SMTLIB	SMT.Configuration.SMTLIB.find(String id)	Returns the SMTLIB constant whose id equals the given string, or null if none matches.
static SMT.Configuration.SMTLIB	SMT.Configuration.SMTLIB.valueOf(String name)	Returns the enum constant of this class with the specified name.
static SMT.Configuration.SMTLIB[]	SMT.Configuration.SMTLIB.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods in org.smtlib with parameters of type SMT.Configuration.SMTLIB

Modifier and Type	Method	Description
boolean	SMT.Configuration.atLeastVersion(SMT.Configuration.SMTLIB version)	Returns true if the configured version is at least the given version.
boolean	SMT.Configuration.isVersion(SMT.Configuration.SMTLIB version)	Returns true if the configured version equals the given version.

Uses of SMT.Configuration.SMTLIB in org.smtlib.sexpr

Fields in org.smtlib.sexpr with type parameters of type SMT.Configuration.SMTLIB

Modifier and Type	Field	Description
static final Map<String,SMT.Configuration.SMTLIB>	Utils.reservedSince	The SMT-LIB version in which a reserved word became reserved, for those not reserved in V2.0