tree: d4ff75befeef3b5cfcd5189a40455f6baa244672 [path history] [tgz]
  1. Float.cpp
  2. Float.h
  3. Integer.cpp
  4. Integer.h
  5. Number.cpp
  6. Number.h
  7. Numeric.cpp
  8. Numeric.h
  9. README.md
  10. Rational.cpp
  11. Rational.h
  12. basic/
  13. boost/
  14. gmp/
org.eclipse.efm.symbex/src/fml/numeric/README.md

EFM-SYMBEX : Numeric

Source code structure

Interfaces

  • INumeric

Classes

  • Integer
  • Rational
  • Float
  • Real

Factories

  • Numeric as Smart Pointer