edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.StackElem Class Reference
Collaboration diagram for edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.StackElem:
Package Functions | |
| StackElem (String name, Expression var) | |
Package Attributes | |
| final String | name |
| final Expression | var |
Detailed Description
Definition at line 241 of file SquanderKodkodImpl.java.
Constructor & Destructor Documentation
| edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.StackElem.StackElem | ( | String | name, | |
| Expression | var | |||
| ) | [package] |
Definition at line 245 of file SquanderKodkodImpl.java.
Member Data Documentation
final String edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.StackElem.name [package] |
Definition at line 242 of file SquanderKodkodImpl.java.
Referenced by edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.searchStack().
final Expression edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.StackElem.var [package] |
Definition at line 243 of file SquanderKodkodImpl.java.
Referenced by edu.mit.csail.sdg.squander.engine.kk.SquanderKodkodImpl.Tr2KK.visit().
The documentation for this class was generated from the following file:
- src/edu/mit/csail/sdg/squander/engine/kk/SquanderKodkodImpl.java
