示例#1
0
  @Override
  public String translate(CLTLTranslator t) {
    // TODO Auto-generated method stub

    // Some alias...
    MITLFormula subf1 = subformula1;
    MITLFormula subf2 = subformula2;

    String f1 = t.iff(high(t), t.or(up_af(subf1, subf2, t), up_af(subf2, subf1, t)));

    String f2 = t.iff(low(t), t.or(dw_bf(subf1, subf2, t), dw_bf(subf2, subf1, t)));

    return t.and(super.clocksEventsConstraints(t), t.G(t.and(f1, f2)));
  }
示例#2
0
  @Override
  public String translate(CLTLTranslator t) {

    return t.and(super.clocksEventsConstraints(t), low(t), t.G(t.neg(interval(t))));
  }