Package owl.translations.ltl2ldba
Interface RecurringObligation
-
- All Known Implementing Classes:
FGObligations,GObligations
public interface RecurringObligation
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description booleancontainsLanguageOf(RecurringObligation obligation)EquivalenceClassgetLanguage()
-
-
-
Method Detail
-
containsLanguageOf
boolean containsLanguageOf(RecurringObligation obligation)
-
getLanguage
EquivalenceClass getLanguage()
-
-