|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object eis.iilang.IILElement eis.iilang.Parameter eis.iilang.ParameterList nl.tudelft.goal.unreal.environment.MapOfParameters
public class MapOfParameters
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 |
---|
public MapOfParameters(Map<String,eis.iilang.Parameter> parameters)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |