package lite;

import java.util.LinkedList;

import logicNode.LogicNode;
import logicNode.MacroNodeInterface;

import sbdd.BDDInterface;
import sbdd.SBDDFactoryInterface;
import verifier.Backtrack;

public class ITLSolver extends LogicNode
	implements MacroNodeInterface<ITLSolver>,Next,BDDInterface {
	
	public int hash=-1;
	
	public ITLSolver sat(ITLSatisfier sat, Continuation next) throws Backtrack {
		return null;
	}

	@Override
	public String toString() {
		return null;
	}

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


	public void setValue(boolean solver) {
		
	}

	public boolean isMacro() {
		return false;
	}
	
	@Override
	public LinkedList<ITLSolver> arguments() {
		return null;
	}
	@Override
	public ITLSolver predicate() {
		return null;
	}

	public ITLSolver eval(LinkedList<ITLSolver> args) {
		return this;
	}

	public boolean isTermMacro() {
		return false;
	}

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

	
}