satisfiabilityApplet.tauTautology
Class Generator

java.lang.Object
  extended bysatisfiabilityApplet.tauTautology.Generator

public class Generator
extends java.lang.Object

by Catherine Block id# 6319 Date: Dec 17, 2004 Time: 3:44:33 PM CS 180H


Constructor Summary
Generator()
           
 
Method Summary
 java.lang.String getCircuit(int nValue, int lValue)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Generator

public Generator()
Method Detail

getCircuit

public java.lang.String getCircuit(int nValue,
                                   int lValue)
Parameters:
nValue - The number of columns for the grid
lValue - The maximum number of bits turned on per column
Returns:
A non-satisfiable circuit in CNF format