dk.brics.tajs.solver

Interface ICallEdge<BlockStateType extends IBlockState<?,?,?>>

All Known Implementing Classes:

CallEdge

public interface ICallEdge<BlockStateType extends IBlockState<?,?,?>>

Interface for call edges.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	ICallEdge.Visitor<CallEdgeType extends ICallEdge<?>> Visitor for call edges.

Method Summary

Methods

Modifier and Type	Method and Description
BlockStateType	getState() Returns the state at this edge.
void	setState(BlockStateType s) Sets the state at this edge.

Method Detail

getState

BlockStateType getState()

Returns the state at this edge.

setState

void setState(BlockStateType s)

Sets the state at this edge.