Package org.smtlib
Interface SMT.IConfiguration
- All Known Implementing Classes:
SMT.Configuration
- Enclosing class:
SMT
public static interface SMT.IConfiguration
Marker interface for configuration objects; reserved for future extension.
SMT.ConfigurationSMT