de.uka.ilkd.key.symbolic_execution.object_model

Interfaces

• IModelSettings
• ISymbolicAssociation
• ISymbolicAssociationValueContainer
• ISymbolicElement
• ISymbolicEquivalenceClass
• ISymbolicLayout
• ISymbolicObject
• ISymbolicState
• ISymbolicValue