Beispiel #1
0
  @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));
  }
Beispiel #2
0
  @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));
  }