|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Reporter | |
---|---|
kodkod.engine.config | Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. |
Uses of Reporter in kodkod.engine.config |
---|
Classes in kodkod.engine.config that implement Reporter | |
---|---|
class |
AbstractReporter
A skeleton implementation of the Reporter interface. |
class |
ConsoleReporter
An implementation of the reporter interface that prints messages to the standard output stream. |
Methods in kodkod.engine.config that return Reporter | |
---|---|
Reporter |
Options.reporter()
Returns this.reporter. |
Methods in kodkod.engine.config with parameters of type Reporter | |
---|---|
void |
Options.setReporter(Reporter reporter)
Sets this.reporter to the given reporter. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |