Uses of Interface
kodkod.engine.config.Reporter

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.