dk.brics.tajs.solver

Interface IInitialStateBuilder<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>>

All Known Implementing Classes:

InitialStateBuilder

public interface IInitialStateBuilder<BlockStateType extends IBlockState<BlockStateType,CallContextType,CallEdgeType>,CallContextType extends ICallContext<CallContextType>,CallEdgeType extends ICallEdge<BlockStateType>>

Interface for initial state builder classes.

Method Summary

Methods

Modifier and Type	Method and Description
void	addInitialState(BasicBlock global_entry_block, GenericSolver.SolverInterface c, org.jdom.Document document) Builds the initial state.

Method Detail

addInitialState

void addInitialState(BasicBlock global_entry_block,
                   GenericSolver.SolverInterface c,
                   org.jdom.Document document)

Builds the initial state.