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

Packages that use Cache

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

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

Fields in net.sf.tweety.arg.adf.reasoner declared as Cache

Modifier and Type	Field	Description
private Cache<Argument,Proposition>	SatEncoding.falses
private Cache<Link,Proposition>	SatEncoding.links
private Cache<Argument,Proposition>	SatEncoding.trues

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

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

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

Fields in net.sf.tweety.arg.adf.syntax declared as Cache

Modifier and Type	Field	Description
private Cache<Pair<Argument,Argument>,Link>	AbstractDialecticalFramework.linkCache