dk.brics.tajs.solver

Interface ICallEdge<StateType extends IState<?,?,?>>

All Known Implementing Classes:

CallEdge

public interface ICallEdge<StateType extends IState<?,?,?>>

Interface for call edges.

Method Summary

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

Method Detail

getState

StateType getState()

Returns the state at this edge.

setState

void setState(StateType s)

Sets the state at this edge.