daikon.inv.unary
Class UpperBoundCore

Object
  UpperBoundCore

All Implemented Interfaces:

Serializable, Cloneable

public class UpperBoundCore
extends Object
implements Serializable, Cloneable

See Also:

Serialized Form

Field Summary

long	max1
long	max2
long	max3
long	min
int	num_max1
int	num_max2
int	num_max3
Invariant	wrapper

Constructor Summary

UpperBoundCore(Invariant wrapper)

Method Summary

InvariantStatus	add_modified(long value, int count)
void	add(UpperBoundCore lbc)
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.

Methods inherited from class Object

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

Field Detail

max1

public long max1

num_max1

public int num_max1

max2

public long max2

num_max2

public int num_max2

max3

public long max3

num_max3

public int num_max3

min

public long min

wrapper

public Invariant wrapper

Constructor Detail

UpperBoundCore

public UpperBoundCore(Invariant wrapper)

Method Detail

max

public long max()

clone

public UpperBoundCore clone()

Overrides:

clone in class Object

repr

public String repr()

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()

computeConfidence

public double computeConfidence()

matchConstant

public boolean matchConstant()

computeProbability

public double computeProbability()

isSameFormula

public boolean isSameFormula(UpperBoundCore other)

isExact

public boolean isExact()

add

public void add(UpperBoundCore lbc)