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)