ResetArc (NETGRIF Application Engine 6.4.0 API)

java.lang.Object
- com.netgrif.application.engine.petrinet.domain.Imported
- - com.netgrif.application.engine.petrinet.domain.PetriNetObject
  - - com.netgrif.application.engine.petrinet.domain.arcs.Arc
    - - com.netgrif.application.engine.petrinet.domain.arcs.PTArc
      - com.netgrif.application.engine.petrinet.domain.arcs.ResetArc

All Implemented Interfaces:

java.io.Serializable
```
public class ResetArc
extends PTArc
```
Reset arc does not alter the enabling condition, but involve a change of the marking on p by firing of t:
- m'(p) = 0, if p is not also a postplace of t
- m'(p) = W(t,p), if p is also a postplace of t
More info
See Also:

Serialized Form

Field Summary
- Fields inherited from class com.netgrif.application.engine.petrinet.domain.arcs.Arc
  breakpoints, destination, destinationId, multiplicity, reference, source, sourceId
- Fields inherited from class com.netgrif.application.engine.petrinet.domain.PetriNetObject
  _id
- Fields inherited from class com.netgrif.application.engine.petrinet.domain.Imported
  importId

Constructor Summary

Constructors
Constructor Description

ResetArc()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`ResetArc`	`clone()`
`void`	`execute()`	Changes the marking on p by firing of t: m'(p) = 0, if p is not also a postplace of t m'(p) = W(t,p), if p is also a postplace of t
`boolean`	`isExecutable()`	Always returns true, because Reset arc does not alter the enabling condition.
`void`	`rollbackExecution(java.lang.Integer tokensConsumed)`

Methods inherited from class com.netgrif.application.engine.petrinet.domain.arcs.PTArc
setDestination, setSource

Methods inherited from class com.netgrif.application.engine.petrinet.domain.arcs.Arc
getDestination, getPlace, getSource, getTransition, toString

Methods inherited from class com.netgrif.application.engine.petrinet.domain.PetriNetObject
getObjectId, getStringId, setObjectId

Methods inherited from class com.netgrif.application.engine.petrinet.domain.Imported
getImportId, setImportId

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

- Constructor Detail
  - ResetArc
```
public ResetArc()
```
- Method Detail
  - isExecutable
```
public boolean isExecutable()
```
    Always returns true, because Reset arc does not alter the enabling condition.
    
    Overrides:
    
    isExecutable in class Arc
    
    Returns:
    
    true
  - execute
```
public void execute()
```
    Changes the marking on p by firing of t:
    
    m'(p) = 0, if p is not also a postplace of t
    
    m'(p) = W(t,p), if p is also a postplace of t
    Overrides:
    
    execute in class Arc
  - rollbackExecution
```
public void rollbackExecution(java.lang.Integer tokensConsumed)
```
    Overrides:
    
    rollbackExecution in class Arc
  - clone
```
public ResetArc clone()
```
    Overrides:
    
    clone in class Arc