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 |
|---|---|
java.lang.String |
name()
Returns the option's name.
|
java.lang.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. |
java.lang.String toString()
Madkit.main(String[]) method
or with Madkit.Madkit(String...) constructor.toString in class java.lang.Object--optionNamejava.lang.String name()
Enum.name()
Fabien Michel, Olivier Gutknecht, Jacques Ferber - September 9 2019