Class Clause

java.lang.Object
  Clause

public class Clause
extends java.lang.Object

Holds a linked list of integers. These integers correspond to boolean variables.

Constructor Summary

Clause()
Constructor for clause.

Method Summary

void	add(int x) Add an integer to the clause.
java.util.LinkedList	getList() Return the list of integers.
java.lang.String	toString() Forms a string out of the clause.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Clause

public Clause()

Constructor for clause. Initializes the list of ints.

Method Detail

add

public void add(int x)

Add an integer to the clause.

Parameters:

x - the integer to be added.

getList

public java.util.LinkedList getList()

Return the list of integers.

Returns:

LinkedList the list of integers in the clause.

toString

public java.lang.String toString()

Forms a string out of the clause.

Overrides:

toString in class java.lang.Object

Returns:

String the clause as a string.