Uses of Class
org.tweetyproject.arg.adf.transform.TseitinTransformer
-
Packages that use TseitinTransformer Package Description org.tweetyproject.arg.adf.transform -
-
Uses of TseitinTransformer in org.tweetyproject.arg.adf.transform
Methods in org.tweetyproject.arg.adf.transform that return TseitinTransformer Modifier and Type Method Description static TseitinTransformer
TseitinTransformer. ofNegativePolarity(boolean optimize)
static TseitinTransformer
TseitinTransformer. ofNegativePolarity(java.util.function.Function<Argument,Atom> mapping, boolean optimize)
static TseitinTransformer
TseitinTransformer. ofPositivePolarity(boolean optimize)
static TseitinTransformer
TseitinTransformer. ofPositivePolarity(java.util.function.Function<Argument,Atom> mapping, boolean optimize)
-