Interface SolverContext

    • Method Detail

      • getFormulaManager

        FormulaManager getFormulaManager()
        Get the formula manager, which is used for formula manipulation.
      • getVersion

        String getVersion()
        Get version information out of the solver.

        In most cases, the version contains the name of the solver followed by some numbers and additional info about the version, e.g., "SMTInterpol 2.5-12-g3d15a15c".

      • getStatistics

        default ImmutableMap<String,​String> getStatistics()
        Get statistics for a complete solver context. The returned mapping is intended to provide the solver-internal statistics. The keys can differ between individual solvers.

        Calling the statistics several times for the same context returns accumulated number, i.e., we currently do not provide any possibility to reset the statistics.

        We do not guarantee any specific key to be present, as this depends on the used solver. We might even return an empty mapping if the solver does not support calling this method or is in an invalid state.

        See Also:
        BasicProverEnvironment.getStatistics()
      • close

        void close()
        Close the solver context.

        After calling this method, further access to any object that had been returned from this context is not wanted, i.e., it depends on the solver. Java-based solvers might wait for the next garbage collection with any cleanup operation. Native solvers might even reference invalid memory and cause segmentation faults.

        Necessary for the solvers implemented in native code, frees the associated memory.

        Specified by:
        close in interface AutoCloseable