LTLVisitor

All Known Implementing Classes:

EmptyLTLVisitor, LTLinterp
```
interface LTLVisitor
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`visit(Lcall o)`
`void`	`visit(Lconst o)`
`void`	`visit(Lgoto o)`
`void`	`visit(Lload o)`
`void`	`visit(Lmbbranch o)`
`void`	`visit(Lmbinop o)`
`void`	`visit(Lmubranch o)`
`void`	`visit(Lmunop o)`
`void`	`visit(Lpop o)`
`void`	`visit(Lpush o)`
`void`	`visit(Lreturn o)`
`void`	`visit(Lstore o)`
`void`	`visit(LTLfile o)`
`void`	`visit(LTLfun o)`

Method Detail

visit
```
void visit(Lload o)
```

visit
```
void visit(Lstore o)
```

visit
```
void visit(Lmubranch o)
```

visit
```
void visit(Lmbbranch o)
```

visit
```
void visit(Lgoto o)
```

visit
```
void visit(Lreturn o)
```

visit
```
void visit(Lconst o)
```

visit
```
void visit(Lmunop o)
```

visit
```
void visit(Lmbinop o)
```

visit
```
void visit(Lpush o)
```

visit
```
void visit(Lpop o)
```

visit
```
void visit(Lcall o)
```

visit
```
void visit(LTLfun o)
```

visit
```
void visit(LTLfile o)
```