package lite;

import parser.TokenID;
import sbdd.SBDDFactoryInterface;

public class TrueSolver extends ITLSolver {

	public TrueSolver() {
		order = TokenID.True.hash;
	}

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


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

	public boolean isModal() {
		return true;
	}
	

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


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