de.uka.ilkd.key.symbolic_execution.object_model

Interface ISymbolicState

All Superinterfaces:

ISymbolicAssociationValueContainer, ISymbolicElement

All Known Implementing Classes:

SymbolicLayoutReader.KeYlessState, SymbolicState

public interface ISymbolicState
extends ISymbolicAssociationValueContainer

Represents the symbolic state of an ISymbolicLayout.

The default implementation is SymbolicState.

Author:

Martin Hentschel

See Also:

SymbolicState

Method Summary

Modifier and Type	Method and Description
java.lang.String	getName() Returns the name of this state.

Methods inherited from interface de.uka.ilkd.key.symbolic_execution.object_model.ISymbolicAssociationValueContainer

getAssociation, getAssociations, getValue, getValues

Methods inherited from interface de.uka.ilkd.key.symbolic_execution.object_model.ISymbolicElement

getSettings

Method Detail

getName

java.lang.String getName()

Returns the name of this state.

Returns:

The name of this state.