Package daikon.inv.unary
Class LowerBoundCoreFloat
- Object
-
- LowerBoundCoreFloat
-
- All Implemented Interfaces:
Serializable
,Cloneable
public class LowerBoundCoreFloat extends Object implements Serializable, Cloneable
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description LowerBoundCoreFloat(Invariant wrapper)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
add(LowerBoundCoreFloat lbc)
InvariantStatus
add_modified(double value, int count)
InvariantStatus
check(double value)
LowerBoundCoreFloat
clone()
double
computeConfidence()
double
computeProbability()
boolean
enoughSamples()
boolean
isExact()
boolean
isSameFormula(LowerBoundCoreFloat other)
boolean
matchConstant()
double
min()
String
repr()
boolean
wouldChange(double value)
Whether this would change if the given value was seen.
-
-
-
Constructor Detail
-
LowerBoundCoreFloat
public LowerBoundCoreFloat(Invariant wrapper)
-
-
Method Detail
-
min
public double min()
-
clone
@SideEffectFree public LowerBoundCoreFloat clone(@GuardSatisfied LowerBoundCoreFloat this)
-
wouldChange
public boolean wouldChange(double value)
Whether this would change if the given value was seen. Used to test for need of cloning and flowing before this would be changed.
-
add_modified
public InvariantStatus add_modified(double value, int count)
-
check
public InvariantStatus check(double value)
-
enoughSamples
public boolean enoughSamples(@GuardSatisfied LowerBoundCoreFloat this)
-
computeConfidence
public double computeConfidence()
-
matchConstant
public boolean matchConstant()
-
computeProbability
public double computeProbability()
-
isSameFormula
@Pure public boolean isSameFormula(LowerBoundCoreFloat other)
-
isExact
@Pure public boolean isExact()
-
add
public void add(LowerBoundCoreFloat lbc)
-
-