dk.brics.tajs.solver

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

All Known Implementing Classes:

Transfer

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

Interface for end-of-block transfer function classes.

Method Summary

Methods

Modifier and Type	Method and Description
void	transfer(BasicBlock b, BlockStateType in) Applies the transfer function on the given block and input state.

Method Detail

transfer

void transfer(BasicBlock b,
            BlockStateType in)

Applies the transfer function on the given block and input state.