SequenceSum

Object
- Derivation
- - UnaryDerivation
  - - SequenceSum

All Implemented Interfaces:

Serializable, Cloneable
```
public final class SequenceSum
extends UnaryDerivation
```
See Also:

Serialized Form

Field Summary

Fields
Modifier and Type Field Description

static boolean dkconfig_enabled
Boolean.
- Fields inherited from class UnaryDerivation
  base
- Fields inherited from class Derivation
  debug, dkconfig_disable_derived_variables, missing_array_bounds

Constructor Summary

Constructors
Constructor Description

SequenceSum(VarInfo vi)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`ValueAndModified`	`computeValueAndModifiedImpl(ValueTuple vt)`	Actual implementation once mods are handled.
`boolean`	`isSameFormula(Derivation other)`	Returns true iff other and this represent the same derivation (modulo the variable they are applied to).
`protected VarInfo`	`makeVarInfo()`	Used by all child classes to actually create the VarInfo this represents, after which it is interned for getVarInfo().

Methods inherited from class UnaryDerivation
base, canBeMissing, clone, computeValueAndModified, derivedDepth, getBase, getBases, isDerivedFromNonCanonical, isParam, switchVars

Methods inherited from class Derivation
complexity, csharp_name, esc_name, get_array_var, get_lower_bound, get_upper_bound, getVarInfo, inside_csharp_name, inside_esc_name, inside_jml_name, is_prestate_version, jml_name, makeVarInfo_common_setup, missingOutOfBounds, shift_str, simplify_name

Methods inherited from class Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - dkconfig_enabled
```
public static boolean dkconfig_enabled
```
    Boolean. True iff SequenceSum derived variables should be generated.
- Constructor Detail
  - SequenceSum
```
public SequenceSum(VarInfo vi)
```
- Method Detail
  - computeValueAndModifiedImpl
```
public ValueAndModified computeValueAndModifiedImpl(ValueTuple vt)
```
    Description copied from class: UnaryDerivation
    
    Actual implementation once mods are handled.
    
    Specified by:
    
    computeValueAndModifiedImpl in class UnaryDerivation
  - makeVarInfo
```
protected VarInfo makeVarInfo()
```
    Description copied from class: Derivation
    
    Used by all child classes to actually create the VarInfo this represents, after which it is interned for getVarInfo().
    
    Specified by:
    
    makeVarInfo in class Derivation
  - isSameFormula
```
@Pure
public boolean isSameFormula(Derivation other)
```
    Description copied from class: Derivation
    
    Returns true iff other and this represent the same derivation (modulo the variable they are applied to). Default implentation will just checks run-time type, but subclasses with state (e.g. SequenceInitial index) should match that, too.
    
    Specified by:
    
    isSameFormula in class Derivation
    
    Parameters:
    
    other - the Derivation to compare to
    
    Returns:
    
    true iff other and this represent the same derivation