SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::CubeLIAModule< Settings >::Cubification Struct Reference

Public Member Functions

 Cubification ()=delete
 
 Cubification (const FormulaT &_cubification, ModuleInput::iterator _position)
 

Data Fields

FormulaT mCubification
 
ModuleInput::iterator mPosition
 
std::size_t mUsages
 

Detailed Description

template<typename Settings>
struct smtrat::CubeLIAModule< Settings >::Cubification

Definition at line 22 of file CubeLIAModule.h.

Constructor & Destructor Documentation

◆ Cubification() [1/2]

template<typename Settings >
smtrat::CubeLIAModule< Settings >::Cubification::Cubification ( )
delete

◆ Cubification() [2/2]

template<typename Settings >
smtrat::CubeLIAModule< Settings >::Cubification::Cubification ( const FormulaT &  _cubification,
ModuleInput::iterator  _position 
)
inline

Definition at line 30 of file CubeLIAModule.h.

Field Documentation

◆ mCubification

template<typename Settings >
FormulaT smtrat::CubeLIAModule< Settings >::Cubification::mCubification

Definition at line 24 of file CubeLIAModule.h.

◆ mPosition

template<typename Settings >
ModuleInput::iterator smtrat::CubeLIAModule< Settings >::Cubification::mPosition

Definition at line 25 of file CubeLIAModule.h.

◆ mUsages

template<typename Settings >
std::size_t smtrat::CubeLIAModule< Settings >::Cubification::mUsages

Definition at line 26 of file CubeLIAModule.h.

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