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 or RandomSatisfiedCnfGenerator for sample code, and see Generator for further explanation.

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.
Cnf	getNext() This is the method that generates CNF formulas, represented by Cnf objects, each time it is called.
static void	main(java.lang.String[] argv) This is a simple main.

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

This is the method that generates CNF formulas, represented by Cnf objects, 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

main

public static void main(java.lang.String[] argv)

This is a simple main. It generates a CNF using MyGenerator. Once generated, MySatSolver is called to try to solve the CNF within the time limit specified by the first argument. This process is repeated the number of times specified by the second argument.