Package daikon.inv.unary

Class UpperBoundCoreFloat

Object

UpperBoundCoreFloat

All Implemented Interfaces:

Serializable, Cloneable

public class UpperBoundCoreFloat
extends Object
implements Serializable, Cloneable

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
double	max1
double	max2
double	max3
double	min
int	num_max1
int	num_max2
int	num_max3
Invariant	wrapper

Constructor Summary

Constructors

Constructor	Description
UpperBoundCoreFloat(Invariant wrapper)

Method Summary

Modifier and Type	Method	Description
void	add(UpperBoundCoreFloat lbc)
InvariantStatus	add_modified(double value, int count)
InvariantStatus	check(double value)
UpperBoundCoreFloat	clone()
double	computeConfidence()
double	computeProbability()
boolean	enoughSamples()
boolean	isExact()
boolean	isSameFormula(UpperBoundCoreFloat other)
boolean	matchConstant()
double	max()
String	repr()
boolean	wouldChange(double 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 double max1

num_max1

public int num_max1

max2

public double max2

num_max2

public int num_max2

max3

public double max3

num_max3

public int num_max3

min

public double min

wrapper

public Invariant wrapper

Constructor Detail

UpperBoundCoreFloat

public UpperBoundCoreFloat(Invariant wrapper)

Method Detail

max

public double max()

clone

@SideEffectFree
public UpperBoundCoreFloat clone(@GuardSatisfied UpperBoundCoreFloat this)

Overrides:

clone in class Object

repr

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

computeConfidence

public double computeConfidence()

matchConstant

public boolean matchConstant()

computeProbability

public double computeProbability()

isSameFormula

@Pure
public boolean isSameFormula(UpperBoundCoreFloat other)

isExact

@Pure
public boolean isExact()

add

public void add(UpperBoundCoreFloat lbc)