Package mini_c
Class LTLfile
- java.lang.Object
-
- mini_c.LTLfile
-
class LTLfile extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description LTLfile()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) void
accept(LTLVisitor v)
(package private) void
print()
pour débugger
-
-
-
Field Detail
-
funs
public java.util.LinkedList<LTLfun> funs
-
-
Method Detail
-
accept
void accept(LTLVisitor v)
-
print
void print()
pour débugger
-
-