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

Class TseitinTransformer

java.lang.Object

net.sf.tweety.arg.adf.transform.AbstractCollector<Proposition,Disjunction,Pair<Proposition,java.util.Collection<Disjunction>>>

net.sf.tweety.arg.adf.transform.TseitinTransformer

All Implemented Interfaces:

Collector<Proposition,Disjunction>, Transformer<Pair<Proposition,java.util.Collection<Disjunction>>>

public final class TseitinTransformer
extends AbstractCollector<Proposition,Disjunction,Pair<Proposition,java.util.Collection<Disjunction>>>

Author:

Mathias Hofer

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	TseitinTransformer.Builder

Method Summary

Modifier and Type	Method	Description
static TseitinTransformer.Builder	builder(java.util.function.Function<Argument,Proposition> argumentMapping)
static TseitinTransformer.Builder	builder(java.util.Map<Argument,Proposition> argumentMapping)

Methods inherited from class net.sf.tweety.arg.adf.transform.AbstractCollector

collect, transform

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.sf.tweety.arg.adf.transform.Collector

collect

Method Detail

builder

public static TseitinTransformer.Builder builder(java.util.function.Function<Argument,Proposition> argumentMapping)

builder

public static TseitinTransformer.Builder builder(java.util.Map<Argument,Proposition> argumentMapping)