Uses of Class
net.sf.tweety.arg.adf.transform.TseitinTransformer
-
Packages that use TseitinTransformer Package Description net.sf.tweety.arg.adf.transform -
-
Uses of TseitinTransformer in net.sf.tweety.arg.adf.transform
Methods in net.sf.tweety.arg.adf.transform that return TseitinTransformer Modifier and Type Method Description TseitinTransformer
TseitinTransformer.Builder. build()
-