public final class ValuationSetUtil
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static ValuationSet |
toValuationSet(ValuationSetFactory factory,
jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> expression,
java.util.function.IntUnaryOperator mapping) |
public static ValuationSet toValuationSet(ValuationSetFactory factory, jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> expression, @Nullable java.util.function.IntUnaryOperator mapping)