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(Function<Argument,Literal> mapping, boolean optimize)
static TseitinTransformer	TseitinTransformer.ofPositivePolarity(boolean optimize)
static TseitinTransformer	TseitinTransformer.ofPositivePolarity(Function<Argument,Literal> mapping, boolean optimize)