Query instantiatedQuery; for (Substitution lSubst : lSubstSet) { instantiatedQuery = query.applySubst(lSubst); if (!instantiatedQuery.isClosed()) { throw new MSTQueryException("goal query '" + query
Query instantiatedQuery; for (Substitution lSubst : lSubstSet) { instantiatedQuery = query.applySubst(lSubst); if (!instantiatedQuery.isClosed()) { // should be closed; see TRAC
public ActionPreCondition applySubst(Substitution subst) { return new ActionPreCondition((getPreCondition() == null) ? null : getPreCondition().applySubst(subst), getSignatures(), getSourceInfo()); }
@Override public MentalLiteral applySubst(Substitution substitution) { return new GoalLiteral(isPositive(), (getSelector() == null) ? null : getSelector().applySubst(substitution), (getFormula() == null) ? null : getFormula().applySubst(substitution), getUsedSignatures(), getSourceInfo()); }
@Override public MentalLiteral applySubst(Substitution substitution) { return new PerceptLiteral(isPositive(), (getSelector() == null) ? null : getSelector().applySubst(substitution), (getFormula() == null) ? null : getFormula().applySubst(substitution), getUsedSignatures(), getSourceInfo()); }
@Override public MentalLiteral applySubst(Substitution substitution) { return new AGoalLiteral(isPositive(), (getSelector() == null) ? null : getSelector().applySubst(substitution), (getFormula() == null) ? null : getFormula().applySubst(substitution), getUsedSignatures(), getSourceInfo()); }
@Override public MentalLiteral applySubst(Substitution substitution) { return new BelLiteral(isPositive(), (getSelector() == null) ? null : getSelector().applySubst(substitution), (getFormula() == null) ? null : getFormula().applySubst(substitution), getUsedSignatures(), getSourceInfo()); }
@Override public MentalLiteral applySubst(Substitution substitution) { return new GoalALiteral(isPositive(), (getSelector() == null) ? null : getSelector().applySubst(substitution), (getFormula() == null) ? null : getFormula().applySubst(substitution), getUsedSignatures(), getSourceInfo()); }
@Override public MentalLiteral applySubst(Substitution substitution) { return new SentLiteral(isPositive(), (getSelector() == null) ? null : getSelector().applySubst(substitution), (getFormula() == null) ? null : getFormula().applySubst(substitution), getMood(), getUsedSignatures(), getSourceInfo()); } }