Class satisfiabilityApplet.cnfParser.DisjunctionVector
java.lang.Object
satisfiabilityApplet.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]
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
numberOfDistinctVariables
public int numberOfDistinctVariables()
clone
public java.lang.Object clone()
toString
public java.lang.String toString()