satisfiabilityApplet.tauTautology
Class CircuitForIthRow

java.lang.Object
  extended bysatisfiabilityApplet.tauTautology.CircuitForIthRow

public class CircuitForIthRow
extends java.lang.Object


Constructor Summary
CircuitForIthRow()
           
 
Method Summary
 Subcircuit[] addInputs(Subcircuit[] inputArr, int length)
           
static void main(java.lang.String[] arg)
           
 Subcircuit[] makeCircuits(VariableModified[] vars, int[] ithRow, int L)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CircuitForIthRow

public CircuitForIthRow()
Method Detail

makeCircuits

public Subcircuit[] makeCircuits(VariableModified[] vars,
                                 int[] ithRow,
                                 int L)

addInputs

public Subcircuit[] addInputs(Subcircuit[] inputArr,
                              int length)
Parameters:
inputArr -
length -
Returns:

main

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