public interface MadkitOption
Madkit.Option,
Madkit.LevelOption,
Madkit.BooleanOption,
AbstractAgent.getMadkitProperty(String),
AbstractAgent.getMadkitProperty(Enum),
AbstractAgent.setMadkitProperty(String, String)| Modifier and Type | Method and Description |
|---|---|
String |
name()
Returns the option's name.
|
String |
toString()
Returns the string form of the option as it should be used
in a command line, or with the
Madkit.main(String[]) method
or with Madkit.Madkit(String...) constructor. |
String toString()
Madkit.main(String[]) method
or with Madkit.Madkit(String...) constructor.String name()
Enum.name()
Fabien Michel, Olivier Gutknecht, Jacques Ferber - February 17 2020