Package daikon.inv.unary.sequence

Class EltwiseIntComparison

Object

Invariant

UnaryInvariant

SingleSequence

SingleScalarSequence

EltwiseIntComparison

All Implemented Interfaces:

Serializable, Cloneable

Direct Known Subclasses:

EltwiseIntEqual, EltwiseIntGreaterEqual, EltwiseIntGreaterThan, EltwiseIntLessEqual, EltwiseIntLessThan

public abstract class EltwiseIntComparison
extends SingleScalarSequence

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	EltwiseIntComparison()
protected	EltwiseIntComparison(PptSlice ppt)

Method Summary

Modifier and Type	Method	Description
abstract boolean	hasSeenNonSingletonSample()

Methods inherited from class SingleScalarSequence

add, add_modified, add_unmodified, check, check_modified, check_unmodified, valid_types, valid_types_static, 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

EltwiseIntComparison

protected EltwiseIntComparison(PptSlice ppt)

EltwiseIntComparison

protected EltwiseIntComparison()

Method Detail

hasSeenNonSingletonSample

public abstract boolean hasSeenNonSingletonSample()