SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::SATModule< Settings >::CNFInfos Struct Reference
Collaboration diagram for smtrat::SATModule< Settings >::CNFInfos:
Collaboration graph
[legend]

Public Member Functions

 CNFInfos ()
 

Data Fields

carl::uint mCounter
 
Minisat::Lit mLiteral
 
std::vector< Minisat::CRef > mClauses
 

Detailed Description

template<class Settings>
struct smtrat::SATModule< Settings >::CNFInfos

Definition at line 234 of file SATModule.h.

Constructor & Destructor Documentation

◆ CNFInfos()

template<class Settings >
smtrat::SATModule< Settings >::CNFInfos::CNFInfos ( )
inline

Definition at line 240 of file SATModule.h.

Field Documentation

◆ mClauses

template<class Settings >
std::vector<Minisat::CRef> smtrat::SATModule< Settings >::CNFInfos::mClauses

Definition at line 238 of file SATModule.h.

◆ mCounter

template<class Settings >
carl::uint smtrat::SATModule< Settings >::CNFInfos::mCounter

Definition at line 236 of file SATModule.h.

◆ mLiteral

template<class Settings >
Minisat::Lit smtrat::SATModule< Settings >::CNFInfos::mLiteral

Definition at line 237 of file SATModule.h.

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