|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||

java.lang.Objecteis.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 | |||||||||