package lite;

import parser.LogicNodeFactoryInterface;

public interface ITLNodeFactoryInterface<T extends ITLSolver> 
      extends LogicNodeFactoryInterface<T> {

	public T chopNode(T former, T later) ;
	public T emptyNode();
	public T nextNode(T n);
	
	public T projectionNode(T p, T q);
	
}