Class PrefixTransferFunctionProvider

java.lang.Object

org.scandroid.prefixtransfer.PrefixTransferFunctionProvider

All Implemented Interfaces:

ITransferFunctionProvider<InstanceKeySite, PrefixVariable>

public class PrefixTransferFunctionProvider
extends Object
implements ITransferFunctionProvider<InstanceKeySite, PrefixVariable>

Constructor Summary

Constructors

Constructor	Description
PrefixTransferFunctionProvider()

Method Summary

Modifier and Type	Method	Description
UnaryOperator<PrefixVariable>	getEdgeTransferFunction(InstanceKeySite src, InstanceKeySite dst)
AbstractMeetOperator<PrefixVariable>	getMeetOperator()	TODO: perhaps this should go with a Lattice object instead.
UnaryOperator<PrefixVariable>	getNodeTransferFunction(InstanceKeySite node)
boolean	hasEdgeTransferFunctions()
boolean	hasNodeTransferFunctions()

Methods inherited from class Object

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

Constructor Details

PrefixTransferFunctionProvider

public PrefixTransferFunctionProvider()

Method Details

getEdgeTransferFunction

public UnaryOperator<PrefixVariable> getEdgeTransferFunction(InstanceKeySite src,
 InstanceKeySite dst)

Specified by:

getEdgeTransferFunction in interface ITransferFunctionProvider<InstanceKeySite, PrefixVariable>

Returns:

the transfer function from OUT_src -> EDGE_<src,dst>

getMeetOperator

public AbstractMeetOperator<PrefixVariable> getMeetOperator()

Description copied from interface: ITransferFunctionProvider

TODO: perhaps this should go with a Lattice object instead. TODO: provide an API to allow composition of the meet operator with the flow operator for a given block, as an optimization?

Specified by:

getMeetOperator in interface ITransferFunctionProvider<InstanceKeySite, PrefixVariable>

getNodeTransferFunction

public UnaryOperator<PrefixVariable> getNodeTransferFunction(InstanceKeySite node)

Specified by:

getNodeTransferFunction in interface ITransferFunctionProvider<InstanceKeySite, PrefixVariable>

Returns:

the transfer function from IN_node -> OUT_node

hasEdgeTransferFunctions

public boolean hasEdgeTransferFunctions()

Specified by:

hasEdgeTransferFunctions in interface ITransferFunctionProvider<InstanceKeySite, PrefixVariable>

Returns:

true if this provider provides edge transfer functions

hasNodeTransferFunctions

public boolean hasNodeTransferFunctions()

Specified by:

hasNodeTransferFunctions in interface ITransferFunctionProvider<InstanceKeySite, PrefixVariable>

Returns:

true if this provider provides node transfer functions