Interface IPartiallyBalancedFlowFunctions<T>

All Superinterfaces:

IFlowFunctionMap<T>

All Known Implementing Classes:

SliceFunctions

public interface IPartiallyBalancedFlowFunctions<T>
extends IFlowFunctionMap<T>

Flow functions for a PartiallyBalancedTabulationProblem

Method Summary

Modifier and Type	Method	Description
IFlowFunction	getUnbalancedReturnFlowFunction(T src, T dest)	This version should work when the "call" instruction was never reached normally.

Methods inherited from interface IFlowFunctionMap

getCallFlowFunction, getCallNoneToReturnFlowFunction, getCallToReturnFlowFunction, getNormalFlowFunction, getReturnFlowFunction

Modifier and Type	Method	Description
IUnaryFlowFunction	getCallFlowFunction(T src, T dest, T ret)
IUnaryFlowFunction	getCallNoneToReturnFlowFunction(T src, T dest)
IUnaryFlowFunction	getCallToReturnFlowFunction(T src, T dest)
IUnaryFlowFunction	getNormalFlowFunction(T src, T dest)
IFlowFunction	getReturnFlowFunction(T call, T src, T dest)

Method Details

getUnbalancedReturnFlowFunction

IFlowFunction getUnbalancedReturnFlowFunction(T src,
 T dest)

This version should work when the "call" instruction was never reached normally. This applies only when using partially balanced parentheses.

Returns:

the flow function for a "return" edge in the supergraph from src -< dest