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.