Package owl.translations.ltl2ldba
Class Jump<U extends RecurringObligation>
- java.lang.Object
-
- owl.translations.ltl2ldba.Jump<U>
-
public class Jump<U extends RecurringObligation> extends Object
public class Jump<U extends RecurringObligation> extends Object