Google Git
Sign in
eclipse / gerrit / efm / org.eclipse.efm-symbex / refs/heads/master / . / org.eclipse.efm.symbex / src / fml / numeric
tree: d4ff75befeef3b5cfcd5189a40455f6baa244672 [path history] [tgz]
  1. basic/
  2. boost/
  3. gmp/
  4. Float.cpp
  5. Float.h
  6. Integer.cpp
  7. Integer.h
  8. Number.cpp
  9. Number.h
  10. Numeric.cpp
  11. Numeric.h
  12. Rational.cpp
  13. Rational.h
  14. README.md
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