Uses of Class
net.sf.tweety.arg.adf.transform.TseitinTransformer.Builder

Packages that use TseitinTransformer.Builder

Package	Description
net.sf.tweety.arg.adf.transform

Uses of TseitinTransformer.Builder in net.sf.tweety.arg.adf.transform

Methods in net.sf.tweety.arg.adf.transform that return TseitinTransformer.Builder

Modifier and Type	Method	Description
static TseitinTransformer.Builder	TseitinTransformer.builder(Function<Argument,net.sf.tweety.logics.pl.syntax.Proposition> argumentMapping)
static TseitinTransformer.Builder	TseitinTransformer.builder(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> argumentMapping)
TseitinTransformer.Builder	TseitinTransformer.Builder.setOptimize(boolean optimize)	The optimization generates only the necessary parts of the definitions based on the polarity of the subformulas, i.e.
TseitinTransformer.Builder	TseitinTransformer.Builder.setTopLevelPolarity(int topLevelPolarity)