Class satisfiabilityApplet.cnfParser.DisjunctionVector

java.lang.Object
  extended bysatisfiabilityApplet.cnfParser.DisjunctionVector
All Implemented Interfaces:
java.lang.Cloneable

public class satisfiabilityApplet.cnfParser.DisjunctionVector
extends java.lang.Object
implements java.lang.Cloneable

by Catherine Block id# 6319 Date: Oct 4, 2004 Time: 8:52:38 PM CS 180H satisfiabilityApplet.cnfParser.DisjunctionVector is a vector representation of a disjunction. Each variable in the disjunction is added. "not a" is added as 1 -1a. The Vector contains variables followed by a number that represents the number of negated variables. Ex: (a OR not a Or b OR a) is represented as [1a + 1b + 1]


Constructor Summary
satisfiabilityApplet.cnfParser.DisjunctionVector(java.util.List literalsList)
          Creates a polynomial representation of a disjunction
 
Method Summary
 java.lang.Object clone()
           
 int numberOfDistinctVariables()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

satisfiabilityApplet.cnfParser.DisjunctionVector

public satisfiabilityApplet.cnfParser.DisjunctionVector(java.util.List literalsList)
Creates a polynomial representation of a disjunction

Parameters:
literalsList - -The clauseList of literals to create a polynomial representation of
Method Detail

numberOfDistinctVariables

public int numberOfDistinctVariables()

clone

public java.lang.Object clone()

toString

public java.lang.String toString()