Uses of Class
net.sf.tweety.arg.adf.util.Cache

Packages that use Cache

Package	Description
net.sf.tweety.arg.adf.reasoner

Uses of Cache in net.sf.tweety.arg.adf.reasoner

Methods in net.sf.tweety.arg.adf.reasoner with parameters of type Cache

Modifier and Type	Method	Description
net.sf.tweety.logics.pl.syntax.PlBeliefSet	SatModelReasoner.getPropositionalCharacterisation(AbstractDialecticalFramework aaf, Cache<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> cache)	returns a propositional characterisation of the reasoning problem