DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Member Functions | Private Attributes | List of all members
Diades::Sdmdl::FormulaBox Class Reference

#include <Formula.hh>

Public Member Functions

 FormulaBox ()
 
 FormulaBox (const FormulaBox &box)
 
FormulaBoxoperator= (const FormulaBox &box)
 
 FormulaBox (const Formula &formula)
 
const Formulaget () const
 
const Formulaput (const Formula &formula)
 
bool empty () const
 

Private Attributes

FormulaVector _box
 

Detailed Description

Definition at line 439 of file Formula.hh.

Constructor & Destructor Documentation

◆ FormulaBox() [1/3]

Diades::Sdmdl::FormulaBox::FormulaBox ( )
inline

Definition at line 445 of file Formula.hh.

◆ FormulaBox() [2/3]

Diades::Sdmdl::FormulaBox::FormulaBox ( const FormulaBox box)
inline

Definition at line 449 of file Formula.hh.

◆ FormulaBox() [3/3]

Diades::Sdmdl::FormulaBox::FormulaBox ( const Formula formula)
inline

Definition at line 463 of file Formula.hh.

Member Function Documentation

◆ empty()

bool Diades::Sdmdl::FormulaBox::empty ( ) const
inline

Definition at line 477 of file Formula.hh.

Referenced by operator=().

◆ get()

const Formula& Diades::Sdmdl::FormulaBox::get ( ) const
inline

Definition at line 467 of file Formula.hh.

Referenced by operator=().

◆ operator=()

FormulaBox& Diades::Sdmdl::FormulaBox::operator= ( const FormulaBox box)
inline

Definition at line 452 of file Formula.hh.

References empty(), and get().

◆ put()

const Formula& Diades::Sdmdl::FormulaBox::put ( const Formula formula)
inline

Definition at line 471 of file Formula.hh.

Member Data Documentation

◆ _box

FormulaVector Diades::Sdmdl::FormulaBox::_box
private

Definition at line 441 of file Formula.hh.


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