LTL

java.lang.Object
- mini_c.LTL

Direct Known Subclasses:

Lcall, Lconst, Lgoto, Lload, Lmbbranch, Lmbinop, Lmubranch, Lmunop, Lpop, Lpush, Lreturn, Lstore
```
abstract class LTL
extends java.lang.Object
```
instruction LTL

Constructor Summary

Constructors
Constructor Description

LTL()

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`(package private) abstract void`	`accept(LTLVisitor v)`
`(package private) abstract mini_c.Label[]`	`succ()`

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

Constructor Detail
- LTL
```
LTL()
```

Method Detail

accept

abstract void accept(LTLVisitor v)

succ
```
abstract mini_c.Label[] succ()
```