de.uka.ilkd.key.smt.model

Classes

• Heap
• Location
• LocationSet
• Model
• ObjectVal
• Sequence