TseitinTransformer.Builder (Tweety (ADF Library) 1.17 API)

java.lang.Object
- net.sf.tweety.arg.adf.transform.TseitinTransformer.Builder

Enclosing class:: TseitinTransformer

public static final class TseitinTransformer.Builder
extends Object

Constructor Summary

Constructors
Constructor Description

Builder(Function<Argument,net.sf.tweety.logics.pl.syntax.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)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - Builder
```
public Builder(Function<Argument,net.sf.tweety.logics.pl.syntax.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()
```