Interface Generator

All Known Implementing Classes:

DimacsFileGenerator, MyGenerator, RandomCnfGenerator, RandomSatisfiedCnfGenerator

public interface Generator

The interface for a CNF Generator. Each time the getNext method is called, a new CNF, represented as a Cnf object, is generated and returned. In addition, classes that implement this interface must include a method returning the "author" of the program, and also a method returning a brief description of how the CNF formulas are generated.

Method Summary

java.lang.String	author() This method should simply return the "author" of this program as you would like it to appear on a class website.
java.lang.String	description() This method should return a very brief (1-3 sentence) description (appropriate for posting on the class website) of how the CNF formulas are generated by this generator.
Cnf	getNext() This method returns a new CNF formula each time it is called.

Method Detail

getNext

Cnf getNext()

This method returns a new CNF formula each time it is called.

author

java.lang.String author()

This method should simply return the "author" of this program as you would like it to appear on a class website. You can use your real name or a pseudonym of your choice.

description

java.lang.String description()

This method should return a very brief (1-3 sentence) description (appropriate for posting on the class website) of how the CNF formulas are generated by this generator.