public class SMTHandlerServices
extends java.lang.Object
Constructor and Description |
---|
SMTHandlerServices() |
Modifier and Type | Method and Description |
---|---|
java.util.List<SMTHandler> |
getFreshHandlers(Services services,
MasterHandler mh)
Get a copy of freshly created
SMTHandler s by cloning the reference
handlers. |
static SMTHandlerServices |
getInstance()
Get the instance of this singleton.
|
java.util.List<SMTHandler> |
getOriginalHandlers()
Get a list of all handlers available in the system.
|
java.lang.String |
getPreamble()
There is a fixed SMT2lib preamble first sent to the solver.
|
java.util.Collection<SMTHandlerProperty<?>> |
getSMTProperties()
Get the list of all
SMTHandlerProperty s known in the system |
public static SMTHandlerServices getInstance()
public java.util.List<SMTHandler> getOriginalHandlers() throws java.io.IOException
getFreshHandlers(Services, MasterHandler)
if you intend to initialise them and run them.SMTHandler
s, not nulljava.io.IOException
- if the resources cannot be readpublic java.util.List<SMTHandler> getFreshHandlers(Services services, MasterHandler mh) throws java.io.IOException
SMTHandler
s by cloning the reference
handlers. They can be used to translate problems to smtservices
- passed on to the handlers for initialisationmh
- passed on to the handlers for initialisationjava.io.IOException
- if the resources cannot be readpublic java.lang.String getPreamble()
public java.util.Collection<SMTHandlerProperty<?>> getSMTProperties() throws java.io.IOException
SMTHandlerProperty
s known in the systemjava.io.IOException
- if resources cannot be readCopyright © 2003-2019 The KeY-Project.