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
-