Package daikon.inv.unary

Class LowerBoundCore

Object

LowerBoundCore

All Implemented Interfaces:

Serializable, Cloneable

public class LowerBoundCore
extends Object
implements Serializable, Cloneable

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
long	max
long	min1
long	min2
long	min3
int	num_min1
int	num_min2
int	num_min3
Invariant	wrapper

Constructor Summary

Constructors

Constructor	Description
LowerBoundCore(Invariant wrapper)

Method Summary

Modifier and Type	Method	Description
void	add(LowerBoundCore lbc)
InvariantStatus	add_modified(long value, int count)
InvariantStatus	check(long value)
LowerBoundCore	clone()
double	computeConfidence()
double	computeProbability()
boolean	enoughSamples()
boolean	isExact()
boolean	isSameFormula(LowerBoundCore other)
boolean	matchConstant()
long	min()
String	repr()
boolean	wouldChange(long value)	Whether this would change if the given value was seen.

Methods inherited from class Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

min1

public long min1

num_min1

public int num_min1

min2

public long min2

num_min2

public int num_min2

min3

public long min3

num_min3

public int num_min3

max

public long max

wrapper

public Invariant wrapper

Constructor Detail

LowerBoundCore

public LowerBoundCore(Invariant wrapper)

Method Detail

min

public long min()

clone

@SideEffectFree
public LowerBoundCore clone(@GuardSatisfied LowerBoundCore this)

Overrides:

clone in class Object

repr

public String repr(@GuardSatisfied LowerBoundCore 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 LowerBoundCore this)

computeConfidence

public double computeConfidence()

matchConstant

public boolean matchConstant()

computeProbability

public double computeProbability()

isSameFormula

@Pure
public boolean isSameFormula(LowerBoundCore other)

isExact

@Pure
public boolean isExact()

add

public void add(LowerBoundCore lbc)