package lite;

import java.util.LinkedList;

public class PredicateSolver extends ITLSolver {

	private LinkedList<ITLSolver> arg;
	private ITLSolver predicate;

	public PredicateSolver(ITLSolver predicate, LinkedList<ITLSolver> arg) {
		this.predicate = predicate;
		this.arg = arg;
		// this.token = predicate.token;
	}

	@Override
	public String toString() {
		return predicate.toString();
	}

	@Override
	public LinkedList<? extends ITLSolver> arguments() {
		return arg;
	}
	@Override
	public ITLSolver predicate() {
		return predicate;
	}


}