Uses of Class
org.jacop.search.restart.CustomReport
-
Packages that use CustomReport Package Description org.jacop.search.restart -
-
Uses of CustomReport in org.jacop.search.restart
Fields in org.jacop.search.restart declared as CustomReport Modifier and Type Field Description (package private) CustomReport
RestartSearch. reportSolution
Methods in org.jacop.search.restart with parameters of type CustomReport Modifier and Type Method Description void
RestartSearch. addReporter(CustomReport r)
-