Home
last modified time | relevance | path

Searched defs:getRational (Results 1 – 14 of 14) sorted by path

/dports/graphics/exiv2/exiv2-0.27.5-Source/src/
H A Dtypes.cpp335 Rational getRational(const byte* buf, ByteOrder byteOrder) in getRational() function
/dports/graphics/openexr/openexr-3.1.4/src/bin/exrstdattr/
H A Dmain.cpp413 getRational (const char attrName[], in getRational() function
/dports/graphics/photoflow/PhotoFlow-8472024f/src/external/exiv2/src/
H A Dtypes.cpp284 Rational getRational(const byte* buf, ByteOrder byteOrder) in getRational() function
/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A Dtoken.cc825 Token::getRational(mpz_class& numerator, mpz_class& denominator) in getRational() function in Token
/dports/math/cvc3/cvc3-2.4.1/java/src/cvc3/
H A DExpr.java531 public Rational getRational() throws Cvc3Exception { in getRational() method in Expr
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dexpr.h1135 inline const Rational& Expr::getRational() const { in getRational() function
H A Dexpr_value.h332 virtual const Rational& getRational() const { in getRational() function
747 virtual const Rational& getRational() const { return d_r; } in getRational() function
H A Dtheory_arith_new.h340 inline Rational getRational() const { return q; } in getRational() function
H A Dtheory_arith_old.h541 inline Rational getRational() const { return q; } in getRational() function
/dports/math/cvc3/cvc3-2.4.1/src/search/
H A DTReturn.h36 Rational getRational() { return d_c; } in getRational() function
/dports/math/linbox/linbox-1.6.3/linbox/algorithms/
H A Drational-reconstruction.h162 bool getRational(Vector& num, Integer& den, int switcher) const in getRational() function
180 bool getRational(Vector& num, Integer& den) const in getRational() function
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/java/
H A DFuncDecl.java275 public String getRational() in getRational() method in FuncDecl.Parameter
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DNumber.hpp526 const Rational& getRational() const {ASS(useRational() && !usePrecise()); return rational();} in getRational() function in Kernel::BoundNumber
/dports/math/z3/z3-z3-4.8.13/src/api/java/
H A DFuncDecl.java275 public String getRational() in getRational() method in FuncDecl.Parameter