Class LabelMap

  • All Implemented Interfaces:
    Serializable, Cloneable, Map<String,​String>

    public class LabelMap
    extends HashMap<String,​String>
    Maps "false.someThingXandY" to "X", etc. This is used in compact labeling of conditions.

    The underlying HashMap may map "some_foo" to "F"; the method map1() will map "true.some_foo" to "F", and "false.some_foo" to "F". The method mapCond() may map "true.some_foo:false.other_bar" to "Fb".

    See Also:
    Serialized Form