Package mini_c
Class Lgoto
- java.lang.Object
-
- mini_c.LTL
-
- mini_c.Lgoto
-
class Lgoto extends LTL
-
-
Field Summary
Fields Modifier and Type Field Description mini_c.Label
l
-
Constructor Summary
Constructors Constructor Description Lgoto(mini_c.Label l)
-
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
-
-