import java.util.ArrayList;

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

//This class of literal should be used in the M field of the formula object
//It is a literal which is decided, not forced
public class DLiteral extends ALiteral {
	
	//Constructors
	public DLiteral (int name, boolean negated) {
		this.name = name;
		this.negated = negated;
	}
	
	public DLiteral (){}
	
	public String toString(){
		if (negated) {return "!"+name+"*";}
		else {return name+"*";}
	}
	
	//change from DLiteral to FLiteral
	public FLiteral toFLiteral(){
		FLiteral f = new FLiteral(this.name, this.negated);
		return f;
	}
	
	//change from DLiteral to MLiteral
	public MLiteral toMLiteral(){
		MLiteral m = new MLiteral(this.name, this.negated);
		return m;
	}
	
	//add decision literal to M
	public void addDToM(Formula formula){
		formula.addToM(this);
	}
	
}