Uses of Package
net.sf.tweety.arg.adf.reasoner.encodings
-
Classes in net.sf.tweety.arg.adf.reasoner.encodings used by net.sf.tweety.arg.adf.reasoner Class Description SatEncodingContext Stores the shared context which is needed to interconnect the sat encodings, e.g. -
Classes in net.sf.tweety.arg.adf.reasoner.encodings used by net.sf.tweety.arg.adf.reasoner.encodings Class Description SatEncoding TODO: reconsider how sat encodings are organized, factories? singleton? static? currently it is stateless and therefore we can reuse and share a single instanceSatEncodingContext Stores the shared context which is needed to interconnect the sat encodings, e.g. -
Classes in net.sf.tweety.arg.adf.reasoner.encodings used by net.sf.tweety.arg.adf.reasoner.generator Class Description SatEncoding TODO: reconsider how sat encodings are organized, factories? singleton? static? currently it is stateless and therefore we can reuse and share a single instance -
Classes in net.sf.tweety.arg.adf.reasoner.encodings used by net.sf.tweety.arg.adf.reasoner.processor Class Description SatEncoding TODO: reconsider how sat encodings are organized, factories? singleton? static? currently it is stateless and therefore we can reuse and share a single instance -
Classes in net.sf.tweety.arg.adf.reasoner.encodings used by net.sf.tweety.arg.adf.reasoner.verifier Class Description SatEncoding TODO: reconsider how sat encodings are organized, factories? singleton? static? currently it is stateless and therefore we can reuse and share a single instance