org.deri.iris.evaluation.topdown
Class QueryWithSubstitution

java.lang.Object
  org.deri.iris.evaluation.topdown.QueryWithSubstitution

public class QueryWithSubstitution
extends Object

A query with an associated substitution form a branch/subgoal in a top-down evaluation tree.

Author:

gigi

Constructor Summary

QueryWithSubstitution()

QueryWithSubstitution(IQuery query, Map<IVariable,ITerm> substitution)

Method Summary

IQuery	getQuery()
Map<IVariable,ITerm>	getSubstitution()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

QueryWithSubstitution

public QueryWithSubstitution()

QueryWithSubstitution

public QueryWithSubstitution(IQuery query,
                             Map<IVariable,ITerm> substitution)

Method Detail

getQuery

public IQuery getQuery()

getSubstitution

public Map<IVariable,ITerm> getSubstitution()

toString

public String toString()

Overrides:

toString in class Object