LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/detail/prover - smt_solver.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 2 0.0 %
Date: 2020-09-22 00:46:14 Functions: 0 3 0.0 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : // Author(s): Luc Engelen
       2             : // Copyright: see the accompanying file COPYING or copy at
       3             : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING
       4             : //
       5             : // Distributed under the Boost Software License, Version 1.0.
       6             : // (See accompanying file LICENSE_1_0.txt or copy at
       7             : // http://www.boost.org/LICENSE_1_0.txt)
       8             : //
       9             : /// \file smt_solver.h
      10             : /// \brief Abstract interface for SMT solvers
      11             : 
      12             : #ifndef MCRL2_DATA_DETAIL_PROVER_SMT_SOLVER_H
      13             : #define MCRL2_DATA_DETAIL_PROVER_SMT_SOLVER_H
      14             : 
      15             : #include "mcrl2/data/data_expression.h"
      16             : 
      17             : namespace mcrl2
      18             : {
      19             : namespace data
      20             : {
      21             : namespace detail
      22             : {
      23             : 
      24           0 : class SMT_Solver
      25             : {
      26             :   public:
      27           0 :     virtual ~SMT_Solver() {};
      28             :     virtual bool is_satisfiable(const data_expression_list &a_formula) = 0;
      29             : };
      30             : } // namespace detail
      31             : } // namespace data
      32             : } // namespace mcrl2
      33             : 
      34             : #endif

Generated by: LCOV version 1.13