LTLfun

java.lang.Object
- mini_c.LTLfun

```
class LTLfun
extends java.lang.Object
```
une fonction LTL

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  LTLgraph body
  le graphe de flot de contrôle
  
  mini_c.Label entry
  point d'entrée dans le graphe
  
  java.lang.String name
  nom de la fonction
- Constructor Summary
  
  Constructors
  Constructor Description
  
  LTLfun(java.lang.String name)
- 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
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - name
```
public java.lang.String name
```
    nom de la fonction
  - entry
```
public mini_c.Label entry
```
    point d'entrée dans le graphe
  - body
```
public LTLgraph body
```
    le graphe de flot de contrôle
- Constructor Detail
  - LTLfun
```
LTLfun(java.lang.String name)
```
- Method Detail
  - accept
```
void accept(LTLVisitor v)
```
  - print
```
void print()
```
    pour débugger