Package mini_c
Class Lmubranch
- java.lang.Object
-
- mini_c.LTL
-
- mini_c.Lmubranch
-
class Lmubranch extends LTL
-
-
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()
-
-
-
Field Detail
-
m
public mini_c.Mubranch m
-
r
public Operand r
-
l1
public mini_c.Label l1
-
l2
public mini_c.Label l2
-
-
Constructor Detail
-
Lmubranch
Lmubranch(mini_c.Mubranch m, Operand r, mini_c.Label l1, mini_c.Label l2)
-
-
Method Detail
-
accept
void accept(LTLVisitor v)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-