Class GObligations
- java.lang.Object
-
- owl.translations.ltl2ldba.breakpoint.GObligations
-
- All Implemented Interfaces:
RecurringObligation
@Immutable public abstract class GObligations extends Object implements RecurringObligation
-
-
Constructor Summary
Constructors Constructor Description GObligations()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleancontainsLanguageOf(RecurringObligation other)EquivalenceClassgetLanguage()StringtoString()
-
-
-
Method Detail
-
containsLanguageOf
public boolean containsLanguageOf(RecurringObligation other)
- Specified by:
containsLanguageOfin interfaceRecurringObligation
-
getLanguage
public EquivalenceClass getLanguage()
- Specified by:
getLanguagein interfaceRecurringObligation
-
-