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

#include <Formula.hh>

Public Types

typedef Utils::Exception< FormulaBinaryOperator< OP > > Exception
 

Public Member Functions

const Formulaoperator() (const Formula &f1, const Formula &f2) const
 

Static Public Member Functions

static string typeName ()
 

Detailed Description

template<Formula::BinaryOperator OP>
struct Diades::Sdmdl::FormulaBinaryOperator< OP >

Definition at line 1125 of file Formula.hh.

Member Typedef Documentation

◆ Exception

template<Formula::BinaryOperator OP>
typedef Utils::Exception< FormulaBinaryOperator<OP> > Diades::Sdmdl::FormulaBinaryOperator< OP >::Exception

Definition at line 1126 of file Formula.hh.

Member Function Documentation

◆ operator()()

template<Formula::BinaryOperator OP>
const Formula& Diades::Sdmdl::FormulaBinaryOperator< OP >::operator() ( const Formula f1,
const Formula f2 
) const
inline

Definition at line 1132 of file Formula.hh.

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

◆ typeName()

template<Formula::BinaryOperator OP>
static string Diades::Sdmdl::FormulaBinaryOperator< OP >::typeName ( )
inlinestatic

Definition at line 1128 of file Formula.hh.


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