Class FGObligations
- java.lang.Object
-
- owl.translations.ltl2ldba.breakpointfree.FGObligations
-
- All Implemented Interfaces:
RecurringObligation
public final class FGObligations extends Object implements RecurringObligation
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
containsLanguageOf(RecurringObligation other)
boolean
equals(Object o)
EquivalenceClass
getLanguage()
int
hashCode()
String
toString()
-
-
-
Method Detail
-
containsLanguageOf
public boolean containsLanguageOf(RecurringObligation other)
- Specified by:
containsLanguageOf
in interfaceRecurringObligation
-
getLanguage
public EquivalenceClass getLanguage()
- Specified by:
getLanguage
in interfaceRecurringObligation
-
-