nl.tudelft.goal.unreal.messages
Class MapOfParameters

java.lang.Object
  eis.iilang.IILElement
      eis.iilang.Parameter
          eis.iilang.ParameterList
              nl.tudelft.goal.unreal.messages.MapOfParameters

All Implemented Interfaces:

Serializable, Cloneable, Iterable<eis.iilang.Parameter>

public class MapOfParameters
extends eis.iilang.ParameterList

See Also:

Serialized Form

Field Summary

Fields inherited from class eis.iilang.IILElement

toProlog

Constructor Summary

MapOfParameters(Map<String,eis.iilang.Parameter> parameters)

Method Summary

Methods inherited from class eis.iilang.ParameterList

accept, accept, add, clone, equals, get, hashCode, indexOf, isEmpty, iterator, size, toProlog, toXML

Methods inherited from class eis.iilang.IILElement

indent, toString, toXML, toXMLWithHeader

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

MapOfParameters

public MapOfParameters(Map<String,eis.iilang.Parameter> parameters)