Lreturn

java.lang.Object
- mini_c.LTL
- - mini_c.Lreturn

```
class Lreturn
extends LTL
```

Constructor Summary

Constructors
Constructor Description

Lreturn()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`(package private) void`	`accept(LTLVisitor v)`
`(package private) mini_c.Label[]`	`succ()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - Lreturn
```
Lreturn()
```
- Method Detail
  - accept
```
void accept(LTLVisitor v)
```
    Specified by:
    
    accept in class LTL
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - succ
```
mini_c.Label[] succ()
```
    Specified by:
    
    succ in class LTL