Package owl.translations.fgx2dpa
Class PromisedSet
- java.lang.Object
-
- owl.translations.fgx2dpa.PromisedSet
-
@Immutable public abstract class PromisedSet extends Object
-
-
Constructor Summary
Constructors Constructor Description PromisedSet()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static PromisedSet
of(Set<GOperator> formulaeG, List<FOperator> formulaeF)
static PromisedSet
of(Set<GOperator> formulaeG, List<FOperator> formulaeF, Formula firstF)
-