User-defined semirings for gfsm operations.
#include <gfsmSemiring.h>
Collaboration diagram for gfsmUserSemiring:
Field Documentation
| gfsmSemiring gfsmUserSemiring::sr |
inheritance magic
| gfsmSRBinaryPredicate gfsmUserSemiring::equal_func |
equality predicate
| gfsmSRBinaryPredicate gfsmUserSemiring::less_func |
order predicate
| gfsmSRBinaryOp gfsmUserSemiring::plus_func |
addition operation
| gfsmSRBinaryOp gfsmUserSemiring::times_func |
multiplication operation
| gfsmSRUnaryOp gfsmUserSemiring::inv_l_func |
left-multiplication inverse
| gfsmSRBinaryOp gfsmUserSemiring::pow_func |
power operation
| gfsmSRUnaryOp gfsmUserSemiring::star_func |
star operation
The documentation for this struct was generated from the following file:
