DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Types | Public Member Functions | Static Public Member Functions | List of all members
Diades::Sdmdl::FormulaUnaryOperator< OP > Struct Template Reference

#include <Formula.hh>

Public Types

typedef Utils::Exception< FormulaUnaryOperator< OP > > Exception
 

Public Member Functions

const Formulaoperator() (const Formula &f) const
 

Static Public Member Functions

static string typeName ()
 

Detailed Description

template<Formula::UnaryOperator OP>
struct Diades::Sdmdl::FormulaUnaryOperator< OP >

Definition at line 1146 of file Formula.hh.

Member Typedef Documentation

◆ Exception

template<Formula::UnaryOperator OP>
typedef Utils::Exception< FormulaUnaryOperator<OP> > Diades::Sdmdl::FormulaUnaryOperator< OP >::Exception

Definition at line 1147 of file Formula.hh.

Member Function Documentation

◆ operator()()

template<Formula::UnaryOperator OP>
const Formula& Diades::Sdmdl::FormulaUnaryOperator< OP >::operator() ( const Formula f) const
inline

Definition at line 1153 of file Formula.hh.

References Diades::Sdmdl::Formula::apply().

◆ typeName()

template<Formula::UnaryOperator OP>
static string Diades::Sdmdl::FormulaUnaryOperator< OP >::typeName ( )
inlinestatic

Definition at line 1149 of file Formula.hh.


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