Marking (MochyCore 2.0.3-SNAPSHOT API)

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

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

Constructor Summary

Constructors
Constructor Description

Marking(ArrayList<EquPlace> list)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`add(EquPlace p)`
`boolean`	`contains(EquPlace p)`
`Marking`	`copy()`
`void`	`drop()`
`ArrayList<EquPlace>`	`getListMarked()`
`boolean`	`presetMarked(EquTransition t)`
`boolean`	`remove(EquPlace p)`

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

Constructor Detail

Marking

public Marking(ArrayList<EquPlace> list)

Method Detail

contains

public boolean contains(EquPlace p)

add
```
public boolean add(EquPlace p)
```

remove
```
public boolean remove(EquPlace p)
```

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

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

getListMarked

public ArrayList<EquPlace> getListMarked()

presetMarked
```
public boolean presetMarked(EquTransition t)
```
Parameters:

t - : an input transition

Returns:

tru if the preset of the input transitikon (EXCLUDING CONTROL PLACES° is marked