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)	Creates a new TseitinTransformer instance with negative root polarity and default argument-to-literal mapping.
static TseitinTransformer	TseitinTransformer.ofNegativePolarity(Function<Argument,Literal> mapping, boolean optimize)	Creates a new TseitinTransformer instance with negative root polarity and a custom argument-to-literal mapping.
static TseitinTransformer	TseitinTransformer.ofPositivePolarity(boolean optimize)	Creates a new TseitinTransformer instance with positive root polarity and default argument-to-literal mapping.
static TseitinTransformer	TseitinTransformer.ofPositivePolarity(Function<Argument,Literal> mapping, boolean optimize)	Creates a new TseitinTransformer instance with positive root polarity and a custom argument-to-literal mapping.