//package GregDLLSolver;

//Author:Greg Viola
//Class: Algos
//Version: 2
//Due Date:4/10/07
//Status: Complete up to specifications

import java.util.*;

/**
* Holds a linked list of integers.  These integers correspond to boolean
* variables.
*/
public class Clause
{
 private LinkedList <Integer> clause;

/**
 * Constructor for clause.  Initializes the list of ints.
 */
 public Clause()
 {
      clause = new LinkedList <Integer> ();
 }

/**
 * Add an integer to the clause.
 *
 * @param x the integer to be added.
 */
 public void add(int x)
 {
      clause.add(x);
 }

/**
 * Return the list of integers.
 *
 * @return LinkedList the list of integers in the clause.
 */
 public LinkedList getList()
 {
      return clause;
 }

/**
 * Forms a string out of the clause.
 *
  * @return String the clause as a string.
  */
  public String toString()
  {
       String result = "(";
       for (int i=0; i<clause.size()-1; i++)
       {
          int var = (Integer) clause.get(i);
          if (var < 0) //The integer was input as negative
          {
             var *= -1;
             result += "not-x" + var + " or ";
          }
          else
          {
             result += "x" + var + " or ";
          }
       }
       int var = (Integer) clause.get(clause.size()-1);
       if (var < 0) //The integer was input as negative
       {
          var *= -1;
          result += "not-x" + var + ")";
       }

       else
       {
          result += "x" + clause.get(clause.size()-1) + ")";
       }
       return result;
  }//end toString
}//end Clause