EltRangeFloat.GreaterEqualZero

Object
- Invariant
- - UnaryInvariant
  - - SingleSequence
    - - SingleFloatSequence
      - EltRangeFloat
        
        GreaterEqualZero

All Implemented Interfaces:

Serializable, Cloneable

Enclosing class:

EltRangeFloat
```
public static class EltRangeFloat.GreaterEqualZero
extends EltRangeFloat
```
Internal invariant representing double scalars that are greater than or equal to 0. Used for non-instantiating suppressions. Will never print since Bound accomplishes the same thing.

See Also:

Serialized Form

Nested Class Summary
- Nested classes/interfaces inherited from class EltRangeFloat
  EltRangeFloat.EqualMinusOne, EltRangeFloat.EqualOne, EltRangeFloat.EqualZero, EltRangeFloat.GreaterEqual64, EltRangeFloat.GreaterEqualZero
- 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 GreaterEqualZero()

protected GreaterEqualZero(PptSlice ppt)

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`enabled()`	Returns whether or not this invariant is enabled.
`boolean`	`eq_check(double x)`	Returns true if x and y don't invalidate the invariant.
`String`	`get_format_str(OutputFormat format)`	Return a format string for the specified output format.
`static EltRangeFloat.GreaterEqualZero`	`get_proto()`	returns the prototype invariant
`EltRangeFloat.GreaterEqualZero`	`instantiate_dyn(PptSlice slice)`	instantiates the invariant on the specified slice

Methods inherited from class EltRangeFloat
add_modified, check_modified, computeConfidence, find_oneof, format_using, get_proto_all, instantiate_ok, isExclusiveFormula, isObviousDynamically, isSameFormula

Methods inherited from class SingleFloatSequence
add, add_unmodified, check, 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, conf_is_ge, confidence_and, confidence_and, confidence_or, createGuardedInvariant, createGuardingPredicate, enoughSamples, falsify, find, format, format_classname, format_too_few_samples, format_unimplemented, formatFuzzy, get_comparability, get_ni_suppressions, getConfidence, getGuardingList, getGuardingList, hasUninterestingConstant, instantiate, is_false, is_ni_suppressed, isActive, isAllPrestate, isEqualityComparison, isExact, isObvious, isObviousDynamically, isObviousDynamically_SomeInEquality, isObviousDynamically_SomeInEqualityHelper, isObviousStatically, isObviousStatically, isObviousStatically_AllInEquality, isObviousStatically_SomeInEquality, isObviousStatically_SomeInEqualityHelper, isReflexive, 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
  - GreaterEqualZero
```
protected GreaterEqualZero(PptSlice ppt)
```
  - GreaterEqualZero
```
protected GreaterEqualZero()
```
- Method Detail
  - get_proto
```
public static EltRangeFloat.GreaterEqualZero get_proto()
```
    returns the prototype invariant
  - enabled
```
public boolean enabled()
```
    Returns whether or not this invariant is enabled.
    
    Specified by:
    
    enabled in class Invariant
  - instantiate_dyn
```
public EltRangeFloat.GreaterEqualZero instantiate_dyn( EltRangeFloat.GreaterEqualZero this,
                                                      PptSlice slice)
```
    instantiates the invariant on the specified slice
    
    Specified by:
    
    instantiate_dyn in class Invariant
    
    Returns:
    
    the new invariant
  - get_format_str
```
public String get_format_str(@GuardSatisfied EltRangeFloat.GreaterEqualZero this,
                             OutputFormat format)
```
    Description copied from class: EltRangeFloat
    
    Return a format string for the specified output format. Each instance of %varN% will be replaced by the correct name for varN.
    
    Specified by:
    
    get_format_str in class EltRangeFloat
  - eq_check
```
public boolean eq_check(double x)
```
    Description copied from class: EltRangeFloat
    
    Returns true if x and y don't invalidate the invariant.
    
    Specified by:
    
    eq_check in class EltRangeFloat