Package mini_c
Class Lmbinop
- java.lang.Object
-
- mini_c.LTL
-
- mini_c.Lmbinop
-
class Lmbinop 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()
-
-
-
Method Detail
-
accept
void accept(LTLVisitor v)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-