Package contractAutomata.operators

Class UnionFunction

java.lang.Object

contractAutomata.operators.UnionFunction

All Implemented Interfaces:

java.util.function.Function<List<MSCA>,MSCA>

public class UnionFunction
extends Object
implements java.util.function.Function<List<MSCA>,MSCA>

Class implementing the union function

Author:

Davide Basile

Constructor Summary

Constructors

Constructor	Description
UnionFunction()

Method Summary

Modifier and Type	Method	Description
MSCA	apply(List<MSCA> aut)

Methods inherited from interface java.util.function.Function

andThen, compose, identity

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UnionFunction

public UnionFunction()

Method Detail

apply

public MSCA apply(List<MSCA> aut)

Specified by:

apply in interface java.util.function.Function<List<MSCA>,MSCA>

Parameters:

aut - list of operands automata

Returns:

compute the union of the FMCA in aut