satisfiabilityApplet.tauTautology
Class Gate

java.lang.Object
  extended bysatisfiabilityApplet.tauTautology.Gate

public class Gate
extends java.lang.Object

by Catherine Block id# 6319 Date: Dec 6, 2004 Time: 5:39:13 PM CS 180H


Field Summary
static int and
           
static int not
           
static int or
           
 int type
           
 
Constructor Summary
Gate(int type)
           
 
Method Summary
 java.lang.Object clone()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

type

public int type

and

public static int and

or

public static int or

not

public static int not
Constructor Detail

Gate

public Gate(int type)
Method Detail

clone

public java.lang.Object clone()

toString

public java.lang.String toString()