Package daikon.inv.unary.sequence

Class EltwiseFloatComparison

Object

Invariant

UnaryInvariant

SingleSequence

SingleFloatSequence

EltwiseFloatComparison

All Implemented Interfaces:

Serializable, Cloneable

Direct Known Subclasses:

EltwiseFloatEqual, EltwiseFloatGreaterEqual, EltwiseFloatGreaterThan, EltwiseFloatLessEqual, EltwiseFloatLessThan

public abstract class EltwiseFloatComparison
extends SingleFloatSequence

Abstract base class defined so that the different types of EltwiseIntComparison (and separately EltwiseFloatComparison), at the current moment those are ==, !=, <, ≤, >, ≥ can have a common superclass which is needed for actions like the isExclusiveFormula method. It is also used to force the definition of the hasSeenNonSingletonSample function for each type of EltwiseIntComparison.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class Invariant

Invariant.ClassVarnameComparator, Invariant.ClassVarnameFormulaComparator, Invariant.InvariantComparatorForPrinting, Invariant.Match

Field Summary

Fields inherited from class SingleSequence

dkconfig_SeqIndexDisableAll

Fields inherited from class Invariant

CONFIDENCE_JUSTIFIED, CONFIDENCE_NEVER, CONFIDENCE_UNJUSTIFIED, debug, debugFlow, debugGuarding, debugIsObvious, debugIsWorthPrinting, debugPrint, debugPrintEquality, dkconfig_confidence_limit, dkconfig_fuzzy_ratio, dkconfig_simplify_define_predicates, falsified, invariantEnabledDefault, isGuardingPredicate, min_mod_non_missing_samples, ppt, PROBABILITY_JUSTIFIED, PROBABILITY_NEVER, PROBABILITY_UNJUSTIFIED

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	EltwiseFloatComparison()
protected	EltwiseFloatComparison(PptSlice ppt)

Method Summary

Modifier and Type	Method	Description
abstract boolean	hasSeenNonSingletonSample()

Methods inherited from class SingleFloatSequence

add, add_modified, add_unmodified, check, check_modified, check_unmodified, valid_types

Methods inherited from class SingleSequence

var

Methods inherited from class UnaryInvariant

resurrect_done

Methods inherited from class Invariant

add_sample, asInvClass, checkRep, clear_falsified, clone, clone_and_permute, computeConfidence, conf_is_ge, confidence_and, confidence_and, confidence_or, createGuardedInvariant, createGuardingPredicate, enabled, enoughSamples, falsify, find, format, format_classname, format_too_few_samples, format_unimplemented, format_using, formatFuzzy, get_comparability, get_ni_suppressions, getConfidence, getGuardingList, getGuardingList, hasUninterestingConstant, instantiate, instantiate_dyn, instantiate_ok, is_false, is_ni_suppressed, isActive, isAllPrestate, isEqualityComparison, isExact, isExclusiveFormula, isObvious, isObviousDynamically, isObviousDynamically, isObviousDynamically_SomeInEquality, isObviousDynamically_SomeInEqualityHelper, isObviousStatically, isObviousStatically, isObviousStatically_AllInEquality, isObviousStatically_SomeInEquality, isObviousStatically_SomeInEqualityHelper, isReflexive, isSameFormula, isSameInvariant, isValidEscExpression, isValidExpression, isWorthPrinting, justified, log, log, logDetail, logOn, match, merge, mergeFormulasOk, permute, prob_and, prob_and, prob_is_ge, prob_or, repCheck, repr, repr_prob, resurrect, simplify_format_double, simplify_format_long, simplify_format_string, state_match, toString, toString, transfer, usesVar, usesVar, usesVarDerived, varNames

Methods inherited from class Object

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

Constructor Detail

EltwiseFloatComparison

protected EltwiseFloatComparison(PptSlice ppt)

EltwiseFloatComparison

protected EltwiseFloatComparison()

Method Detail

hasSeenNonSingletonSample

public abstract boolean hasSeenNonSingletonSample()