Serialized Form

Package com.tech.app.models

Class com.tech.app.models.Arc extends java.lang.Object implements Serializable

Serialized Fields

arrowHead
```
java.awt.geom.Path2D arrowHead
```
at
```
java.awt.geom.AffineTransform at
```
courbe
```
java.awt.geom.QuadCurve2D.Double courbe
```
forme
```
java.awt.geom.Line2D.Double forme
```
hitbox
```
java.awt.geom.Path2D.Double hitbox
```
place
```
Place place
```
placeToTransition
```
boolean placeToTransition
```
poids
```
int poids
```
pointCtr1
```
PointControle pointCtr1
```
reverse
```
java.awt.geom.AffineTransform reverse
```
transition
```
Transition transition
```

Class com.tech.app.models.Model extends java.lang.Object implements Serializable

Serialized Fields

arcVector
```
java.util.List<Arc> arcVector
```

C

java.util.Vector<java.util.Vector<java.lang.Integer>> C

M0
```
java.util.Vector<java.lang.Integer> M0
```
nbArc
```
int nbArc
```
nbPlace
```
int nbPlace
```
nbTransition
```
int nbTransition
```
placeVector
```
java.util.List<Place> placeVector
```

transitionVector

java.util.List<Transition> transitionVector

w_moins

java.util.Vector<java.util.Vector<java.lang.Integer>> w_moins

w_plus

java.util.Vector<java.util.Vector<java.lang.Integer>> w_plus

Class com.tech.app.models.Place extends java.lang.Object implements Serializable
- Serialized Fields
  - capacite
```
int capacite
```
  - forme
```
java.awt.geom.Ellipse2D.Float forme
```
  - label
```
java.lang.String label
```
  - marquage
```
int marquage
```
  - name
```
java.lang.String name
```
  - position
```
int position
```
  - x
```
double x
```
  - y
```
double y
```
Class com.tech.app.models.PointControle extends java.lang.Object implements Serializable
- Serialized Fields
  - moved
```
boolean moved
```
  - parent
```
Arc parent
```
  - size
```
int size
```
  - x
```
double x
```
  - y
```
double y
```

Class com.tech.app.models.Transition extends java.lang.Object implements Serializable

Serialized Fields

children
```
java.util.List<Arc> children
```
forme
```
java.awt.geom.Rectangle2D.Float forme
```
HEIGHT
```
int HEIGHT
```
label
```
java.lang.String label
```
LARGE_SIDE
```
int LARGE_SIDE
```
MIN_SIDE
```
int MIN_SIDE
```
name
```
java.lang.String name
```
parents
```
java.util.List<Arc> parents
```
position
```
int position
```
WIDTH
```
int WIDTH
```
x
```
double x
```
y
```
double y
```

Package com.tech.app.models.gma
- Class com.tech.app.models.gma.CustomEdge extends org.jgrapht.graph.DefaultEdge implements Serializable
  - Serialized Fields
    - label
      
      java.lang.String label
Package com.tech.app.windows
- Class com.tech.app.windows.GCWindow extends Window implements Serializable
  - Serialized Fields
    - coverabilityGraph
      
      CoverabilityGraph coverabilityGraph
- Class com.tech.app.windows.GMAWindow extends Window implements Serializable
  - Serialized Fields
    - reachabilityGraph
      
      ReachabilityGraph reachabilityGraph
- Class com.tech.app.windows.MainWindow extends Window implements Serializable
- Class com.tech.app.windows.StepperWindow extends Window implements Serializable
  - Serialized Fields
    - model
      
      Model model
- Class com.tech.app.windows.Window extends javax.swing.JFrame implements Serializable
  - Serialized Fields
    - height
      
      int height
    - resizable
      
      boolean resizable
    - title
      
      java.lang.String title
    - visible
      
      boolean visible
    - width
      
      int width
    - windowHandler
      
      WindowHandler windowHandler

Package com.tech.app.windows.panels

Class com.tech.app.windows.panels.DrawPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

arcDestX
```
double arcDestX
```
arcDestY
```
double arcDestY
```
arcOriginX
```
double arcOriginX
```
arcOriginY
```
double arcOriginY
```
clickError
```
boolean clickError
```
convert
```
int convert
```
frame
```
javax.swing.JFrame frame
```
idArc
```
int idArc
```
idPlace
```
int idPlace
```
idTransition
```
int idTransition
```
indexOfClickArc
```
int indexOfClickArc
```
MAX_ZOOM
```
double MAX_ZOOM
```
Zoom maximal de la zone dessin
MIN_ZOOM
```
double MIN_ZOOM
```
Zoom minimal de la zone dessin
model
```
Model model
```
mouseX
```
double mouseX
```
mouseY
```
double mouseY
```
scaleFactor
```
double scaleFactor
```
scaleX
```
double scaleX
```
scaleY
```
double scaleY
```
selectedObject
```
java.lang.Object selectedObject
```
transform
```
java.awt.geom.AffineTransform transform
```

Class com.tech.app.windows.panels.StepperHandler extends javax.swing.JPanel implements Serializable

Serialized Fields

arcDestX
```
double arcDestX
```
arcDestY
```
double arcDestY
```
arcOriginX
```
double arcOriginX
```
arcOriginY
```
double arcOriginY
```
frame
```
javax.swing.JFrame frame
```
MAX_ZOOM
```
double MAX_ZOOM
```
MIN_ZOOM
```
double MIN_ZOOM
```
model
```
Model model
```
mouseX
```
double mouseX
```
mouseY
```
double mouseY
```
scaleFactor
```
double scaleFactor
```
scaleX
```
double scaleX
```
scaleY
```
double scaleY
```
stepper
```
Stepper stepper
```
transform
```
java.awt.geom.AffineTransform transform
```

Package com.tech.app.windows.toolbars
- Class com.tech.app.windows.toolbars.DrawingToolbar extends Toolbar implements Serializable
  - Serialized Fields
    - drawMouse
      
      DrawMouse drawMouse
    - menu
      
      Menu menu
- Class com.tech.app.windows.toolbars.Menu extends MenuBar implements Serializable
  - Serialized Fields
    - dp
      
      DrawPanel dp
    - model
      
      Model model
    - saveManager
      
      SaveManager saveManager
- Class com.tech.app.windows.toolbars.MenuBar extends javax.swing.JMenuBar implements Serializable
  - Serialized Fields
    - frame
      
      javax.swing.JFrame frame
    - toolbar
      
      javax.swing.JMenuBar toolbar
- Class com.tech.app.windows.toolbars.StepperToolbar extends Toolbar implements Serializable
  - Serialized Fields
    - model
      
      Model model
    - stepper
      
      Stepper stepper
- Class com.tech.app.windows.toolbars.Toolbar extends javax.swing.JToolBar implements Serializable
  - Serialized Fields
    - frame
      
      javax.swing.JFrame frame
    - toolbar
      
      javax.swing.JToolBar toolbar

Serialized Form

Package com.tech.app.models

Class com.tech.app.models.Arc extends java.lang.Object implements Serializable

Serialized Fields

arrowHead

at

courbe

forme

hitbox

place

placeToTransition

poids

pointCtr1

reverse

transition

Class com.tech.app.models.Model extends java.lang.Object implements Serializable

Serialized Fields

arcVector

C

M0

nbArc

nbPlace

nbTransition

placeVector

transitionVector

w_moins

w_plus

Class com.tech.app.models.Place extends java.lang.Object implements Serializable

Serialized Fields

capacite

forme

label

marquage

name

position

x

y

Class com.tech.app.models.PointControle extends java.lang.Object implements Serializable

Serialized Fields

moved

parent

size

x

y

Class com.tech.app.models.Transition extends java.lang.Object implements Serializable

Serialized Fields

children

forme

HEIGHT

label

LARGE_SIDE

MIN_SIDE

name

parents

position

WIDTH

x

y

Package com.tech.app.models.gma

Class com.tech.app.models.gma.CustomEdge extends org.jgrapht.graph.DefaultEdge implements Serializable

Serialized Fields

label

Package com.tech.app.windows

Class com.tech.app.windows.GCWindow extends Window implements Serializable

Serialized Fields

coverabilityGraph

Class com.tech.app.windows.GMAWindow extends Window implements Serializable

Serialized Fields

reachabilityGraph

Class com.tech.app.windows.MainWindow extends Window implements Serializable

Class com.tech.app.windows.StepperWindow extends Window implements Serializable

Serialized Fields

model

Class com.tech.app.windows.Window extends javax.swing.JFrame implements Serializable

Serialized Fields

height

resizable

title

visible

width