SubGoalElement.java

package alice.tuprolog;

public class SubGoalElement extends AbstractSubGoalTree {
	
	private Term term;
	
	public SubGoalElement(Term t) {
		term = t;
	}
	
	public Term getValue() {
		return term;
	}
	
	@Override
	public boolean isLeaf() {
		return true;
	}
	
	@Override
	public boolean isRoot() {
		return false;
	}
	
	@Override
	public String toString() {
		return term.toString();
	}

}