RangeInt.GreaterEqualZero

Object
- Invariant
- - UnaryInvariant
  - - SingleScalar
    - - RangeInt
      - GreaterEqualZero

All Implemented Interfaces:

Serializable, Cloneable

Enclosing class:

RangeInt
```
public static class RangeInt.GreaterEqualZero
extends RangeInt
```
Internal invariant representing long 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 RangeInt
  RangeInt.BooleanVal, RangeInt.Bound0_63, RangeInt.EqualMinusOne, RangeInt.EqualOne, RangeInt.EqualZero, RangeInt.Even, RangeInt.GreaterEqual64, RangeInt.GreaterEqualZero, RangeInt.PowerOfTwo
- Nested classes/interfaces inherited from class Invariant
  Invariant.ClassVarnameComparator, Invariant.ClassVarnameFormulaComparator, Invariant.InvariantComparatorForPrinting, Invariant.Match

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(long 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 RangeInt.GreaterEqualZero`	`get_proto()`	returns the prototype invariant
`RangeInt.GreaterEqualZero`	`instantiate_dyn(PptSlice slice)`	instantiates the invariant on the specified slice

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

Methods inherited from class SingleScalar
add, add_unmodified, check, 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, 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 RangeInt.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 RangeInt.GreaterEqualZero instantiate_dyn( RangeInt.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 RangeInt.GreaterEqualZero this,
                             OutputFormat format)
```
    Description copied from class: RangeInt
    
    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 RangeInt
  - eq_check
```
public boolean eq_check(long x)
```
    Description copied from class: RangeInt
    
    Returns true if x and y don't invalidate the invariant.
    
    Specified by:
    
    eq_check in class RangeInt