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

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

Enclosing class:

VizState

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Method Detail

get

public java.lang.String get(AlloyElement x)

put

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