Package contractAutomata.operators

Class ProjectionFunction

java.lang.Object

contractAutomata.operators.ProjectionFunction

All Implemented Interfaces:

TriFunction<MSCA,Integer,java.util.function.Function<MSCATransition,Integer>,MSCA>

public class ProjectionFunction
extends Object
implements TriFunction<MSCA,Integer,java.util.function.Function<MSCATransition,Integer>,MSCA>

Class implementing the projection function

Author:

Davide Basile

Constructor Summary

Constructors

Constructor	Description
ProjectionFunction(Label lab)

Method Summary

Modifier and Type	Method	Description
MSCA	apply(MSCA aut, Integer indexprincipal, java.util.function.Function<MSCATransition,Integer> getNecessaryPrincipal)	compute the projection on the i-th principal

Methods inherited from class java.lang.Object

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

Constructor Detail

ProjectionFunction

public ProjectionFunction(Label lab)

Parameters:

lab - the label indicates whether CMs or CAs are to be projected

Method Detail

apply

public MSCA apply(MSCA aut,
                  Integer indexprincipal,
                  java.util.function.Function<MSCATransition,Integer> getNecessaryPrincipal)

compute the projection on the i-th principal

Specified by:

apply in interface TriFunction<MSCA,Integer,java.util.function.Function<MSCATransition,Integer>,MSCA>

Parameters:

aut - the composed automaton

indexprincipal - index of the principal to project in the composition

getNecessaryPrincipal - function returning the index of the necessary principal in a match transition (it could be either the offerer or the requester), if any

Returns:

the projected i-th principal