Package net.sf.tweety.arg.adf.transform
Class TseitinTransformer.Builder
- java.lang.Object
-
- net.sf.tweety.arg.adf.transform.TseitinTransformer.Builder
-
- Enclosing class:
- TseitinTransformer
public static final class TseitinTransformer.Builder extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description Builder(java.util.function.Function<Argument,Proposition> argumentMapping)
-
Method Summary
Modifier and Type Method Description TseitinTransformer
build()
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
setTopLevelPolarity(int topLevelPolarity)
-
-
-
Constructor Detail
-
Builder
public Builder(java.util.function.Function<Argument,Proposition> argumentMapping)
- Parameters:
argumentMapping
- the argument to proposition mapping
-
-
Method Detail
-
setOptimize
public TseitinTransformer.Builder setOptimize(boolean optimize)
The optimization generates only the necessary parts of the definitions based on the polarity of the subformulas, i.e. <- or -> (or both for polarity = 0) instead of always <->.- Parameters:
optimize
- the optimize to set- Returns:
- the builder
-
setTopLevelPolarity
public TseitinTransformer.Builder setTopLevelPolarity(int topLevelPolarity)
- Parameters:
topLevelPolarity
- the topLevelPolarity to set- Returns:
- the builder
-
build
public TseitinTransformer build()
-
-