SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
OnlyVS.h
Go to the documentation of this file.
1 /**
2  * @file JustVS.h
3  */
4 #pragma once
5 
6 #include "../solver/Manager.h"
7 #include "../modules/VSModule/VSModule.h"
8 
9 namespace smtrat
10 {
11  /**
12  * Strategy description.
13  *
14  * @author
15  * @since
16  * @version
17  *
18  */
19  class OnlyVS:
20  public Manager
21  {
22  public:
23 
24  OnlyVS(): Manager()
25  {
26  setStrategy(
27  {
28  addBackend<VSModule<VSSettings234>>()
29  });
30  }
31  };
32 } // namespace smtrat
smtrat::Manager
Base class for solvers.
Definition: Manager.h:34
smtrat::Manager::setStrategy
void setStrategy(const std::initializer_list< BackendLink > &backends)
Definition: Manager.h:385
smtrat::OnlyVS
Strategy description.
Definition: OnlyVS.h:21
smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10