satisfiabilityApplet.tauTautology
Class CircuitGroup

java.lang.Object
  extended bysatisfiabilityApplet.tauTautology.CircuitGroup

public class CircuitGroup
extends java.lang.Object

by Catherine Block id# 6319 Date: Nov 13, 2004 Time: 9:25:20 PM CS 180H


Constructor Summary
CircuitGroup()
           
 
Method Summary
 void makeCircuits(int[] rowFromGrid, Literal[] nBitsInput)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CircuitGroup

public CircuitGroup()
Method Detail

makeCircuits

public void makeCircuits(int[] rowFromGrid,
                         Literal[] nBitsInput)

toString

public java.lang.String toString()