Quantify.Constant

Object
- Quantify.Term
- - Constant

Enclosing class:: Quantify

public static class Quantify.Constant
extends Quantify.Term

Represents a constant integer.

- Constructor Summary
  
  Constructors
  Constructor Description
  
  Constant(int val)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  int get_value()
  
  String name()
  - Methods inherited from class Quantify.Term
    csharp_name, esc_name, jml_name, jml_name, name_with_offset, simplify_name
  - Methods inherited from class Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- Constant
```
public Constant(int val)
```

Method Detail

name

@SideEffectFree
public String name(@GuardSatisfied Quantify.Constant this)

Specified by:: name in class Quantify.Term

get_value
```
public int get_value()
```