Package owl.collections
Class ValuationSetUtil
- java.lang.Object
-
- owl.collections.ValuationSetUtil
-
public final class ValuationSetUtil extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static ValuationSet
toValuationSet(ValuationSetFactory factory, jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> expression, IntUnaryOperator mapping)
static Optional<ValuationSet>
union(Iterable<ValuationSet> sets)
-
-
-
Method Detail
-
toValuationSet
public static ValuationSet toValuationSet(ValuationSetFactory factory, jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> expression, @Nullable IntUnaryOperator mapping)
-
union
public static Optional<ValuationSet> union(Iterable<ValuationSet> sets)
-
-