d7/d57/BooleanEncoding_8h_source.html

 #pragma once


 #include "Common.h"

 #include "AbstractTheory.h"

 #include "ParserState.h"


 namespace smtrat {

 namespace parser {


 /**

  * Implements the theory of bitvectors.

  */

 struct BooleanEncodingTheory: public AbstractTheory  {

     BooleanEncodingTheory(ParserState* state);

 };


 }

 }

AbstractTheory.h

ParserState.h

smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10

smtrat::parser::AbstractTheory
Base class for all theories.
Definition: AbstractTheory.h:36

smtrat::parser::AbstractTheory::state
ParserState * state
Definition: AbstractTheory.h:37

smtrat::parser::BooleanEncodingTheory
Implements the theory of bitvectors.
Definition: BooleanEncoding.h:13

smtrat::parser::BooleanEncodingTheory::BooleanEncodingTheory
BooleanEncodingTheory(ParserState *state)
Definition: BooleanEncoding.cpp:59

smtrat::parser::ParserState
Definition: ParserState.h:18

Common.h