package lite;

import java.util.LinkedList;

import logicNode.parser.MacroNodeParser;

public class ITLNodeFactory implements	ITLNodeFactoryInterface<ITLSolver> {

	public ITLSolver chopNode(ITLSolver former, ITLSolver later) {
		// TODO Auto-generated method stub
		return null;
	}

	public ITLSolver emptyNode() {
		// TODO Auto-generated method stub
		return null;
	}

	public ITLSolver nextNode(ITLSolver node) {
		// TODO Auto-generated method stub
		return null;
	}

	public ITLSolver macroNode(ITLSolver macro, String body, MacroNodeParser<ITLSolver> name) {
		// TODO Auto-generated method stub
		return null;
	}

	public ITLSolver predicateNode(ITLSolver predicate, LinkedList<ITLSolver> arg) {
		// TODO Auto-generated method stub
		return null;
	}

	public ITLSolver andNode(ITLSolver left, ITLSolver right) {
		// TODO Auto-generated method stub
		return null;
	}

	public ITLSolver existsNode(ITLSolver var, ITLSolver node) {
		// TODO Auto-generated method stub
		return null;
	}

	public ITLSolver falseNode() {
		// TODO Auto-generated method stub
		return null;
	}

	public ITLSolver notNode(ITLSolver node) {
		// TODO Auto-generated method stub
		return null;
	}

	public ITLSolver orNode(ITLSolver left, ITLSolver right) {
		// TODO Auto-generated method stub
		return null;
	}


	public ITLSolver trueNode() {
		// TODO Auto-generated method stub
		return null;
	}

	public ITLSolver variableNode(String name, boolean value) {
		// TODO Auto-generated method stub
		return null;
	}

}