Uses of Class
net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
-
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.parser
Methods in net.sf.tweety.arg.adf.parser that return AbstractDialecticalFramework Modifier and Type Method Description AbstractDialecticalFramework
KPPADFFormatParser. parseBeliefBase(java.io.Reader reader)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner
Fields in net.sf.tweety.arg.adf.reasoner declared as AbstractDialecticalFramework Modifier and Type Field Description private AbstractDialecticalFramework
SatEncoding. adf
TODO: the adf is not immutable, therefore adding stuff to it after SatEncoding was created may fuck things up?Methods in net.sf.tweety.arg.adf.reasoner with parameters of type AbstractDialecticalFramework Modifier and Type Method Description Link
LinkStrategy. compute(AbstractDialecticalFramework adf, Argument a, Argument b)
Link
SatLinkStrategy. compute(AbstractDialecticalFramework adf, Argument a, Argument b)
private Interpretation
AdmissibleInterpretationReasoner. existsAdm(AbstractDialecticalFramework adf, Interpretation interpretation, SatSolverState state, SatEncoding enc)
private Interpretation
NaiveInterpretationReasoner. existsNai(AbstractDialecticalFramework adf, Interpretation interpretation, java.util.Collection<Disjunction> excluded, SatEncoding enc)
abstract Interpretation
AbstractDialecticalFrameworkReasoner. getModel(AbstractDialecticalFramework bbase)
Interpretation
AdmissibleInterpretationReasoner. getModel(AbstractDialecticalFramework adf)
Interpretation
NaiveInterpretationReasoner. getModel(AbstractDialecticalFramework adf)
Interpretation
SatModelReasoner. getModel(AbstractDialecticalFramework bbase)
abstract java.util.Collection<Interpretation>
AbstractDialecticalFrameworkReasoner. getModels(AbstractDialecticalFramework bbase)
java.util.Collection<Interpretation>
AdmissibleInterpretationReasoner. getModels(AbstractDialecticalFramework adf)
java.util.Collection<Interpretation>
NaiveInterpretationReasoner. getModels(AbstractDialecticalFramework adf)
java.util.Collection<Interpretation>
SatModelReasoner. getModels(AbstractDialecticalFramework bbase)
PlBeliefSet
SatModelReasoner. getPropositionalCharacterisation(AbstractDialecticalFramework aaf, Cache<Argument,PlFormula> cache)
returns a propositional characterisation of the reasoning problemjava.lang.Boolean
AbstractDialecticalFrameworkReasoner. query(AbstractDialecticalFramework beliefbase, Argument formula)
java.lang.Boolean
AbstractDialecticalFrameworkReasoner. query(AbstractDialecticalFramework beliefbase, Argument formula, InferenceMode inferenceMode)
Queries the given AAF for the given argument using the given inference type.Constructors in net.sf.tweety.arg.adf.reasoner with parameters of type AbstractDialecticalFramework Constructor Description SatEncoding(AbstractDialecticalFramework adf)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.test
Methods in net.sf.tweety.arg.adf.reasoner.test with parameters of type AbstractDialecticalFramework Modifier and Type Method Description BenchmarkResult
ReasonerBenchmark. runBenchmark(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner, java.util.List<java.util.Map<java.lang.String,java.lang.Boolean>> assignments)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.semantics
Methods in net.sf.tweety.arg.adf.semantics with parameters of type AbstractDialecticalFramework Modifier and Type Method Description boolean
Interpretation. satisfies(AbstractDialecticalFramework beliefBase)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.syntax
Methods in net.sf.tweety.arg.adf.syntax with parameters of type AbstractDialecticalFramework Modifier and Type Method Description int
AbstractDialecticalFramework. compareTo(AbstractDialecticalFramework o)
-