SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Protected Attributes
smtrat::GBModuleState< Settings > Class Template Reference

A class to save the current state of a GBModule. More...

#include <GBModuleState.h>

Collaboration diagram for smtrat::GBModuleState< Settings >:
Collaboration graph
[legend]

Public Member Functions

 GBModuleState ()
 
 GBModuleState (const typename Settings::Groebner &basisCalculation, const std::map< carl::Variable, std::pair< TermT, carl::BitVector > > &rewrites)
 
const Settings::Groebner & getBasis () const
 
const std::map< carl::Variable, std::pair< TermT, carl::BitVector > > & getRewriteRules () const
 

Protected Attributes

const Settings::Groebner mBasis
 The state of the basis. More...
 
const std::map< carl::Variable, std::pair< TermT, carl::BitVector > > mRewrites
 

Detailed Description

template<typename Settings>
class smtrat::GBModuleState< Settings >

A class to save the current state of a GBModule.

Used for backtracking-support

Definition at line 10 of file GBModuleState.h.

Constructor & Destructor Documentation

◆ GBModuleState() [1/2]

template<typename Settings >
smtrat::GBModuleState< Settings >::GBModuleState ( )
inline

Definition at line 13 of file GBModuleState.h.

◆ GBModuleState() [2/2]

template<typename Settings >
smtrat::GBModuleState< Settings >::GBModuleState ( const typename Settings::Groebner &  basisCalculation,
const std::map< carl::Variable, std::pair< TermT, carl::BitVector > > &  rewrites 
)
inline

Definition at line 19 of file GBModuleState.h.

Member Function Documentation

◆ getBasis()

template<typename Settings >
const Settings::Groebner& smtrat::GBModuleState< Settings >::getBasis ( ) const
inline

Definition at line 24 of file GBModuleState.h.

◆ getRewriteRules()

template<typename Settings >
const std::map<carl::Variable, std::pair<TermT, carl::BitVector> >& smtrat::GBModuleState< Settings >::getRewriteRules ( ) const
inline

Definition at line 29 of file GBModuleState.h.

Field Documentation

◆ mBasis

template<typename Settings >
const Settings::Groebner smtrat::GBModuleState< Settings >::mBasis
protected

The state of the basis.

Definition at line 36 of file GBModuleState.h.

◆ mRewrites

template<typename Settings >
const std::map<carl::Variable, std::pair<TermT, carl::BitVector> > smtrat::GBModuleState< Settings >::mRewrites
protected

Definition at line 37 of file GBModuleState.h.

The documentation for this class was generated from the following file: