EmbASP-Java v7.1.0
|
Public Member Functions | |
ASPFilterOption () | |
![]() | |
OptionDescriptor () | |
OptionDescriptor (final String initial_option) | |
void | addOption (final String option) |
void | clear () |
String | getOptions () |
String | getSeparator () |
void | setOptions (final String option) |
void | setSeparator (final String separator) |
Additional Inherited Members | |
![]() | |
String | separator |
String | options |
Generic filter option for ASP solver
|
inline |