BigDecimalConstants

java.lang.Object

de.tilman_neumann.jml.base.BigDecimalConstants

public class BigDecimalConstants
extends java.lang.Object

Field Summary

Fields
Modifier and Type	Field	Description
`static java.math.BigDecimal`	`F_0`
`static java.math.BigDecimal`	`F_0_5`
`static java.math.BigDecimal`	`F_1`
`static java.math.BigDecimal`	`F_10`
`static java.math.BigDecimal`	`F_12`
`static java.math.BigDecimal`	`F_2`
`static java.math.BigDecimal`	`F_2_5`
`static java.math.BigDecimal`	`F_3`
`static java.math.BigDecimal`	`F_4`
`static java.math.BigDecimal`	`F_5`
`static java.math.BigDecimal`	`F_8`

Constructor Summary

Constructors

Constructor Description

BigDecimalConstants()
Method Summary

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- F_0
  
  public static final java.math.BigDecimal F_0
- F_0_5
  
  public static final java.math.BigDecimal F_0_5
- F_1
  
  public static final java.math.BigDecimal F_1
- F_2
  
  public static final java.math.BigDecimal F_2
- F_2_5
  
  public static final java.math.BigDecimal F_2_5
- F_3
  
  public static final java.math.BigDecimal F_3
- F_4
  
  public static final java.math.BigDecimal F_4
- F_5
  
  public static final java.math.BigDecimal F_5
- F_8
  
  public static final java.math.BigDecimal F_8
- F_10
  
  public static final java.math.BigDecimal F_10
- F_12
  
  public static final java.math.BigDecimal F_12
Constructor Details
- BigDecimalConstants
  
  public BigDecimalConstants()