ReadArc (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.ReadArc

All Implemented Interfaces:

java.io.Serializable
```
public class ReadArc
extends PTArc
```
If there is an arc a with a weight w=W(p,t) connecting a place p with a transition t, then t can be enabled in a marking m if the following condition is satisfied:
m(p) ≥ w
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

ReadArc()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`ReadArc`	`clone()`
`void`	`execute()`	Does nothing.
`boolean`	`isExecutable()`	Returns true if source place has fewer tokens then arc weight.
`void`	`rollbackExecution(java.lang.Integer tokensConsumed)`	Does nothing.

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
  - ReadArc
```
public ReadArc()
```
- Method Detail
  - isExecutable
```
public boolean isExecutable()
```
    Returns true if source place has fewer tokens then arc weight.
    
    Overrides:
    
    isExecutable in class Arc
    
    Returns:
    
    true if
    m(p) ≥ w
    false otherwise.
  - execute
```
public void execute()
```
    Does nothing. The token situation on p is not changed by the firing of t, i.e. m'(p) = m(p).
    
    Overrides:
    
    execute in class Arc
  - rollbackExecution
```
public void rollbackExecution(java.lang.Integer tokensConsumed)
```
    Does nothing. The token situation on p is not changed by the firing of t, i.e. m'(p) = m(p).
    
    Overrides:
    
    rollbackExecution in class Arc
  - clone
```
public ReadArc clone()
```
    Overrides:
    
    clone in class Arc