package lite;

import parser.TokenID;
import sbdd.SBDDFactoryInterface;
import verifier.Backtrack;

public class FalseSolver extends ITLSolver {

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

	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;
	}
}