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 boolean
containsLanguageOf(RecurringObligation obligation)
EquivalenceClass
getLanguage()
-
-
-
Method Detail
-
containsLanguageOf
boolean containsLanguageOf(RecurringObligation obligation)
-
getLanguage
EquivalenceClass getLanguage()
-
-