Package net.automatalib.modelchecker.m3c.transformer

Class DiamondOperation<AP>

java.lang.Object

net.automatalib.modelchecker.m3c.transformer.DiamondOperation<AP>

Type Parameters:

AP - atomic proposition type

All Implemented Interfaces:

BiFunction<BooleanVector,BooleanVector,BooleanVector>, BinaryOperator<BooleanVector>

public class DiamondOperation<AP>
extends Object
implements BinaryOperator<BooleanVector>

Implementation of the diamond function.

Constructor Summary

Constructors

Constructor	Description
DiamondOperation(Set<AP> atomicPropositions, EquationalBlock<?,AP> block)

Method Summary

Modifier and Type	Method	Description
BooleanVector	apply(BooleanVector left, BooleanVector right)

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.BiFunction

andThen

Constructor Detail

DiamondOperation

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

Method Detail

apply

public BooleanVector apply(BooleanVector left,
                           BooleanVector right)

Specified by:

apply in interface BiFunction<BooleanVector,BooleanVector,BooleanVector>