Class MyGenerator

java.lang.Object
  MyGenerator

All Implemented Interfaces:

Generator

public class MyGenerator
extends java.lang.Object
implements Generator

This is a template of the MyGenerator class that must be turned in. See RandomCnfGenerator for sample code.

Constructor Summary

MyGenerator()
A constructor for this class.

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.
Literal[][]	getNext() This is the method that generates CNF formulas each time it is called.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MyGenerator

public MyGenerator()

A constructor for this class. You must have a constructor taking no arguments. (You may have other constructors that you use for your experiments, but this is the constructor that will be used as part of the class implementation challenge.)

Method Detail

getNext

public Literal[][] getNext()

This is the method that generates CNF formulas each time it is called.

Specified by:

getNext in interface Generator

author

public 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.

Specified by:

author in interface Generator

description

public 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.

Specified by:

description in interface Generator