Interface Generator

All Known Implementing Classes:

DimacsFileGenerator, MyGenerator, RandomCnfGenerator

public interface Generator

The interface for a CNF Generator. Each time the getNext method is called, a new CNF is generated and returned.

Method Summary

Literal[][]

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

Method Detail

getNext

public Literal[][] getNext()

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