edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.StackElem Member List

This is the complete list of members for edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.StackElem, including all inherited members.

name	edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.StackElem	[package]
StackElem(String name, Expression var)	edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.StackElem	[package]
var	edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.StackElem	[package]