Uses of Class
org.jacop.jasat.utils.OptParse.OptHandler
-
Packages that use OptParse.OptHandler Package Description org.jacop.jasat.core org.jacop.jasat.utils -
-
Uses of OptParse.OptHandler in org.jacop.jasat.core
Fields in org.jacop.jasat.core declared as OptParse.OptHandler Modifier and Type Field Description private static OptParse.OptHandler<Config>
RunSolver. debugHandler
private static OptParse.OptHandler<Config>
RunSolver. helpHandler
private static OptParse.OptHandler<Config>
RunSolver. timeoutHandler
private static OptParse.OptHandler<Config>
RunSolver. verboseHandler
-
Uses of OptParse.OptHandler in org.jacop.jasat.utils
Fields in org.jacop.jasat.utils with type parameters of type OptParse.OptHandler Modifier and Type Field Description private java.util.Map<java.lang.String,OptParse.OptHandler<E>>
OptParse. handlers
Methods in org.jacop.jasat.utils with parameters of type OptParse.OptHandler Modifier and Type Method Description void
OptParse. addHandler(OptParse.OptHandler<E> handler)
add a handler for some option
-