/// <summary>
/// Applies the operator backwards to the given target relative state. The result is a new relative state (or more relative states, if conditional effects are present).
/// </summary>
/// <param name="relativeState">Target relative state.</param>
/// <returns>Preceding relative states.</returns>
public IEnumerable <Planner.IRelativeState> ApplyBackwards(Planner.IRelativeState relativeState)
{
return(LiftedOperator.ApplyBackwards((IRelativeState)relativeState, Substitution));
}
/// <summary>
/// Applies the operator backwards to the given target conditions. The result is a new set of conditions.
/// </summary>
/// <param name="conditions">Target conditions.</param>
/// <returns>Preceding conditions.</returns>
public Planner.IConditions ApplyBackwards(Planner.IConditions conditions)
{
return(LiftedOperator.ApplyBackwards((IConditions)conditions, Substitution));
}