edu.mit.csail.sdg.alloy4viz
Class VizState.MInt

java.lang.Object
  edu.mit.csail.sdg.alloy4viz.VizState.MInt

Enclosing class:

VizState

public final class VizState.MInt
extends java.lang.Object

Method Summary

int	get(AlloyElement x)
void	put(AlloyElement x, java.lang.Integer v)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

get

public int get(AlloyElement x)

put

public void put(AlloyElement x,
                java.lang.Integer v)