Class TseitinTransformer

java.lang.Object
org.tweetyproject.arg.adf.transform.TseitinTransformer
All Implemented Interfaces:
Collector<Literal,Clause>, Transformer<Pair<Literal,Collection<Clause>>>

public final class TseitinTransformer extends Object implements Collector<Literal,Clause>, Transformer<Pair<Literal,Collection<Clause>>>