Package daikon.inv.unary
Class UpperBoundCore
- Object
-
- UpperBoundCore
-
- All Implemented Interfaces:
Serializable
,Cloneable
public class UpperBoundCore extends Object implements Serializable, Cloneable
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description UpperBoundCore(Invariant wrapper)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
add(UpperBoundCore lbc)
InvariantStatus
add_modified(long value, int count)
InvariantStatus
check(long value)
UpperBoundCore
clone()
double
computeConfidence()
double
computeProbability()
boolean
enoughSamples()
boolean
isExact()
boolean
isSameFormula(UpperBoundCore other)
boolean
matchConstant()
long
max()
String
repr()
boolean
wouldChange(long value)
Whether this would change if the given value was seen.
-
-
-
Constructor Detail
-
UpperBoundCore
public UpperBoundCore(Invariant wrapper)
-
-
Method Detail
-
max
public long max()
-
clone
@SideEffectFree public UpperBoundCore clone(@GuardSatisfied UpperBoundCore this)
-
wouldChange
public boolean wouldChange(long 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(long value, int count)
-
check
public InvariantStatus check(long value)
-
enoughSamples
public boolean enoughSamples(@GuardSatisfied UpperBoundCore this)
-
computeConfidence
public double computeConfidence()
-
matchConstant
public boolean matchConstant()
-
computeProbability
public double computeProbability()
-
isSameFormula
@Pure public boolean isSameFormula(UpperBoundCore other)
-
isExact
@Pure public boolean isExact()
-
add
public void add(UpperBoundCore lbc)
-
-