//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 forced, not decided
public class MLiteral extends ALiteral {
	public MLiteral (int name, boolean negated) {
		this.name = name;
		this.negated = negated;
	}
	
	public String toString(){
		if (negated) {return "!"+name;}
		else {return ""+name;}
	}
	
	//change from MLiteral to FLiteral
	public FLiteral toFLiteral(){
		FLiteral f = new FLiteral(this.name, this.negated);
		return f;
	}
}