Lmbbranch

java.lang.Object
- mini_c.LTL
- - mini_c.Lmbbranch

```
class Lmbbranch
extends LTL
```

Field Summary

Fields
Modifier and Type Field Description

mini_c.Label l1

mini_c.Label l2

mini_c.Mbbranch m

Operand r1

Operand r2

Constructor Summary

Constructors
Constructor Description

Lmbbranch(mini_c.Mbbranch m, Operand r1, Operand r2, mini_c.Label l1, mini_c.Label l2)

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

Field Detail

m
```
public mini_c.Mbbranch m
```

r1
```
public Operand r1
```

r2
```
public Operand r2
```

l1
```
public mini_c.Label l1
```

l2
```
public mini_c.Label l2
```

Constructor Detail

Lmbbranch

Lmbbranch(mini_c.Mbbranch m,
          Operand r1,
          Operand r2,
          mini_c.Label l1,
          mini_c.Label l2)

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