DiamondOperationDeadlock (AutomataLib 0.11.0 API)

java.lang.Object
- net.automatalib.modelchecker.m3c.transformer.DiamondOperationDeadlock<AP>

Type Parameters:

AP - atomic proposition type

All Implemented Interfaces:

Function<BooleanVector,BooleanVector>, UnaryOperator<BooleanVector>
```
public class DiamondOperationDeadlock<AP>
extends Object
implements UnaryOperator<BooleanVector>
```
Implementation of the diamond function when the node has exactly one successor.

- Constructor Summary
  
  Constructors
  Constructor Description
  
  DiamondOperationDeadlock(Set<AP> atomicPropositions, EquationalBlock<?,AP> block)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  BooleanVector apply(BooleanVector vector)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  - Methods inherited from interface java.util.function.Function
    andThen, compose

Constructor Detail

DiamondOperationDeadlock

public DiamondOperationDeadlock(Set<AP> atomicPropositions,
                                EquationalBlock<?,AP> block)

Method Detail
- apply
```
public BooleanVector apply(BooleanVector vector)
```
  Specified by:
  
  apply in interface Function<BooleanVector,BooleanVector>