Marking (MochyCore 2.0.3-SNAPSHOT API)

java.lang.Object
- fr.inria.mochy.core.trajectory.Marking

```
public class Marking
extends Object
```
manage the state of the places

Constructor Summary

Constructors
Constructor Description

Marking()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`add(BooleanPlace p)`
`boolean`	`add(TrajPlace p)`
`boolean`	`contains(BooleanPlace p)`
`boolean`	`contains(TrajPlace p)`
`Marking`	`copy()`
`void`	`drop()`
`ArrayList<TrajPlace>`	`getListMarked()`
`boolean`	`remove(BooleanPlace p)`
`boolean`	`remove(TrajPlace p)`
`void`	`reset()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- Marking
```
public Marking()
```

Method Detail

contains

public boolean contains(TrajPlace p)

add
```
public boolean add(TrajPlace p)
```

remove

public boolean remove(TrajPlace p)

contains

public boolean contains(BooleanPlace p)

add

public boolean add(BooleanPlace p)

remove

public boolean remove(BooleanPlace p)

copy
```
public Marking copy()
```

drop
```
public void drop()
```

getListMarked

public ArrayList<TrajPlace> getListMarked()

reset
```
public void reset()
```