Marking (MochyCore 2.0.3-SNAPSHOT API)

```
public class Marking
extends Object
```
manage the state of the places : list the marked place e.g. they have a content not set to null

Constructors
Constructor	Description
`Marking(ArrayList<Place> list)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`add(Place p)`
`boolean`	`contains(Place p)`
`Marking`	`copy()`	Copies a marking nb : places are the same
`void`	`drop()`
`ArrayList<Place>`	`getListMarked()`
`boolean`	`remove(Place p)`	removes a place from a marking

public Marking(ArrayList<Place> list)

public ArrayList<Place> getListMarked()

Class Marking