daikon.inv.unary
Class LowerBoundCoreFloat

Object
  LowerBoundCoreFloat

All Implemented Interfaces:

Serializable, Cloneable

public class LowerBoundCoreFloat
extends Object
implements Serializable, Cloneable

See Also:

Serialized Form

Field Summary

double	max
double	min1
double	min2
double	min3
int	num_min1
int	num_min2
int	num_min3
Invariant	wrapper

Constructor Summary

LowerBoundCoreFloat(Invariant wrapper)

Method Summary

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

Methods inherited from class Object

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

Field Detail

min1

public double min1

num_min1

public int num_min1

min2

public double min2

num_min2

public int num_min2

min3

public double min3

num_min3

public int num_min3

max

public double max

wrapper

public Invariant wrapper

Constructor Detail

LowerBoundCoreFloat

public LowerBoundCoreFloat(Invariant wrapper)

Method Detail

min

public double min()

clone

public LowerBoundCoreFloat clone()

Overrides:

clone in class Object

repr

public String repr()

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

computeConfidence

public double computeConfidence()

matchConstant

public boolean matchConstant()

computeProbability

public double computeProbability()

isSameFormula

public boolean isSameFormula(LowerBoundCoreFloat other)

isExact

public boolean isExact()

add

public void add(LowerBoundCoreFloat lbc)