package lite;

import parser.TokenID;
import sbdd.SBDDFactoryInterface;

public class FalseSolver extends ITLSolver {

	public FalseSolver() {
		order = TokenID.False.hash;
	}
	
	

	public String toString() {
		return "false";
	}

	public BDDSolver toSBDD(SBDDFactoryInterface sf) {
		return sf.falseNode().toSBDD(sf);
	}

	public boolean isModal() {
		return true;
	}

	public int hashCode() {
		return TokenID.False.hash;
	}
	public boolean equals(Object o) {
		return o==this;
	}


	@Override
	public ITLSolver sat(ITLSatisfier sat, Next next) throws Backtrack {
		return next.next(sat, null);
	}
}