Class MyGenerator

java.lang.Object
  MyGenerator

All Implemented Interfaces:

Generator

public class MyGenerator

extends java.lang.Object

implements Generator

This is just a template of the MyGenerator class that must be turned in.

Constructor Summary

MyGenerator()
Must have a constructor taking no arguments.

Method Summary

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()

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