@Override
public QuotedFormula deltaDiamond(LDLfFormula goal, TransitionLabel label) {
QuotedVar quotedLeft = new QuotedVar((LDLfFormula) this.getNestedFormula().clone());
QuotedVar quotedRight = new QuotedVar((LDLfFormula) goal.clone());
return new QuotedAndFormula(quotedLeft.delta(label), quotedRight.delta(label));
}
@Override
public QuotedFormula deltaBox(LDLfFormula goal, TransitionLabel label) {
LDLfFormula left = (LDLfFormula) this.getNestedFormula().negate().nnf();
QuotedVar quotedLeft = new QuotedVar(left);
QuotedVar quotedRight = new QuotedVar((LDLfFormula) goal.clone());
return new QuotedOrFormula(quotedLeft.delta(label), quotedRight.delta(label));
}