Uses of Package
org.tweetyproject.arg.adf.reasoner.sat.encodings

Packages that use org.tweetyproject.arg.adf.reasoner.sat.encodings

Package	Description
org.tweetyproject.arg.adf.reasoner.sat.encodings
org.tweetyproject.arg.adf.reasoner.sat.generator
org.tweetyproject.arg.adf.reasoner.sat.processor
org.tweetyproject.arg.adf.reasoner.sat.verifier
org.tweetyproject.arg.adf.semantics.interpretation

Classes in org.tweetyproject.arg.adf.reasoner.sat.encodings used by org.tweetyproject.arg.adf.reasoner.sat.encodings

Class	Description
PropositionalMapping	Contains the propositional representation of the arguments and links of some ADF.
RelativeSatEncoding	A SatEncoding which is relative to a given interpretation.
SatEncoding	The SatEncoding interface represents a generic SAT encoding mechanism.

Classes in org.tweetyproject.arg.adf.reasoner.sat.encodings used by org.tweetyproject.arg.adf.reasoner.sat.generator

Class	Description
PropositionalMapping	Contains the propositional representation of the arguments and links of some ADF.

Classes in org.tweetyproject.arg.adf.reasoner.sat.encodings used by org.tweetyproject.arg.adf.reasoner.sat.processor

Class	Description
PropositionalMapping	Contains the propositional representation of the arguments and links of some ADF.

Classes in org.tweetyproject.arg.adf.reasoner.sat.encodings used by org.tweetyproject.arg.adf.reasoner.sat.verifier

Class	Description
PropositionalMapping	Contains the propositional representation of the arguments and links of some ADF.

Classes in org.tweetyproject.arg.adf.reasoner.sat.encodings used by org.tweetyproject.arg.adf.semantics.interpretation

Class	Description
PropositionalMapping	Contains the propositional representation of the arguments and links of some ADF.