//Christian Tirella
//Brian Sweeney
//CSU670 Project

import java.util.ArrayList;

//Abstract Literal
public abstract class ALiteral {

	int name;			//literal ID
	boolean negated;	//is this literal negated?
	
	public int getName () {return this.name;}				//return literal's name
	public boolean isNegated () {return this.negated;}		//is this literal negated?
	public abstract String toString();						//string method
	
	//change from ALiteral to FLiteral
	public FLiteral fromAtoFLiteral(){
		FLiteral f = new FLiteral(this.name, this.negated);
		return f;
	}

}