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(java.util.function.Function<Argument,Proposition> argumentMapping)
static TseitinTransformer.Builder	TseitinTransformer.builder(java.util.Map<Argument,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)