dk.brics.tajs.solver

Interface IEdgeTransfer<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<?>>

All Known Implementing Classes:

EdgeTransfer, Transfer

public interface IEdgeTransfer<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<?>>

Interface for edge transfer function classes.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	transfer(BasicBlock src, BasicBlock dst, BlockStateType state) Returns true if flow should occur on the given edge and state.

Method Detail

transfer

boolean transfer(BasicBlock src,
               BasicBlock dst,
               BlockStateType state)

Returns true if flow should occur on the given edge and state.