Package org.jacop.search.restart
Class CustomReport
- java.lang.Object
-
- org.jacop.search.restart.CustomReport
-
public class CustomReport extends java.lang.Object
Print-outs all variables defined in the constructor when restart search finds a solution.- Version:
- 4.7
-
-
Constructor Summary
Constructors Constructor Description CustomReport()
CustomReport(Var[] vs)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addVariables(Var[] vs)
void
report()
-