Quantify.FreeVar

Object
- Quantify.Term
- - FreeVar

Enclosing class:

Quantify
```
public static class Quantify.FreeVar
extends Quantify.Term
```
Free variable normally used for quantification.

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

Constructor Detail
- FreeVar
```
public FreeVar(String name)
```

Method Detail

name

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

Specified by:: name in class Quantify.Term

simplify_name
```
@SideEffectFree
public String simplify_name()
```
Overrides:

simplify_name in class Quantify.Term