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 boolean
containsLanguageOf(RecurringObligation other)
EquivalenceClass
getLanguage()
String
toString()
-
-
-
Method Detail
-
containsLanguageOf
public boolean containsLanguageOf(RecurringObligation other)
- Specified by:
containsLanguageOf
in interfaceRecurringObligation
-
getLanguage
public EquivalenceClass getLanguage()
- Specified by:
getLanguage
in interfaceRecurringObligation
-
-