SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
ParserWrapper.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include "InstructionHandler.h"
4 
5 namespace smtrat {
6 
7 bool parseSMT2File(parser::InstructionHandler& handler, bool queueInstructions, std::istream& input);
8 
9 }
smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10
smtrat::parseSMT2File
bool parseSMT2File(parser::InstructionHandler &handler, bool queueInstructions, std::istream &input)
Definition: ParserWrapper.cpp:6