Uses of Class
org.tweetyproject.arg.adf.transform.TseitinTransformer
-
Uses of TseitinTransformer in org.tweetyproject.arg.adf.transform
Modifier and TypeMethodDescriptionstatic TseitinTransformer
TseitinTransformer.ofNegativePolarity
(boolean optimize) static TseitinTransformer
TseitinTransformer.ofNegativePolarity
(Function<Argument, Literal> mapping, boolean optimize) static TseitinTransformer
TseitinTransformer.ofPositivePolarity
(boolean optimize) static TseitinTransformer
TseitinTransformer.ofPositivePolarity
(Function<Argument, Literal> mapping, boolean optimize)