Uses of Interface
org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
Package
Description
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.io
Modifier and TypeMethodDescriptionModifier and TypeMethodDescriptionstatic void
KppADFFormatWriter.writeTo(AbstractDialecticalFramework adf, OutputStream out)
The OutputStream is not closed by this method, it is up to the caller.static void
KppADFFormatWriter.writeToFile(AbstractDialecticalFramework adf, File file)
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner
Modifier and TypeMethodDescriptionboolean
AbstractDialecticalFrameworkReasoner.credulousQuery(AbstractDialecticalFramework adf, Argument argument)
Deprecated, for removal: This API element is subject to removal in a future version.AbstractDialecticalFrameworkReasoner.getModel(AbstractDialecticalFramework adf)
Deprecated, for removal: This API element is subject to removal in a future version.AbstractDialecticalFrameworkReasoner.getModels(AbstractDialecticalFramework adf)
Deprecated, for removal: This API element is subject to removal in a future version.AbstractDialecticalFrameworkReasoner.modelIterator(AbstractDialecticalFramework adf)
Deprecated, for removal: This API element is subject to removal in a future version.boolean
AbstractDialecticalFrameworkReasoner.skepticalQuery(AbstractDialecticalFramework adf, Argument argument)
Deprecated, for removal: This API element is subject to removal in a future version. -
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.heuristics
ModifierConstructorDescriptionDegreeComparator(AbstractDialecticalFramework adf, DegreeComparator.DegreeType degreeType)
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.decomposer
Modifier and TypeMethodDescriptionDecomposer.decompose(AbstractDialecticalFramework adf, int desired)
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.encodings
ModifierConstructorDescriptionBipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping)
ConflictFreeInterpretationSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping)
KBipolarSatEncoding(AbstractDialecticalFramework adf, PropositionalMapping mapping)
Creates propositional representations for the arguments and links of the provided ADF. -
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.execution
Modifier and TypeMethodDescriptionstatic Semantics
Semantics.admissible(AbstractDialecticalFramework adf)
static Semantics
Semantics.complete(AbstractDialecticalFramework adf)
static Semantics
Semantics.conflictFree(AbstractDialecticalFramework adf)
static Semantics
Semantics.ground(AbstractDialecticalFramework adf)
static Semantics
Semantics.model(AbstractDialecticalFramework adf)
static Semantics
Semantics.naive(AbstractDialecticalFramework adf)
static Semantics
Semantics.preferred(AbstractDialecticalFramework adf)
static Semantics
Semantics.stable(AbstractDialecticalFramework adf)
ModifierConstructorDescriptionParallelExecution(AbstractDialecticalFramework adf, Semantics semantics, IncrementalSatSolver satSolver, int parallelism)
SequentialExecution(AbstractDialecticalFramework adf, Semantics semantics, IncrementalSatSolver satSolver)
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.generator
Modifier and TypeMethodDescriptionstatic CandidateGenerator
ConflictFreeGenerator.withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)
The resultingCandidateGenerator
computes all conflict free interpretations.static CandidateGenerator
GroundGenerator.withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)
The resultingCandidateGenerator
computes the ground interpretation.static CandidateGenerator
ModelGenerator.withoutPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping)
The resultingCandidateGenerator
computes all two-valued model interpretations.static CandidateGenerator
ConflictFreeGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes conflict free interpretations which are extensions of the defined prefix.static CandidateGenerator
GroundGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes the ground interpretation if it extends the given prefix.static CandidateGenerator
ModelGenerator.withPrefix(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
The resultingCandidateGenerator
only computes two-valued models which are extensions of the defined prefix. -
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.processor
Modifier and TypeMethodDescriptionstatic InterpretationProcessor
AdmissibleMaximizer.withoutPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor
ConflictFreeMaximizer.withoutPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor
AdmissibleMaximizer.withPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, AbstractDialecticalFramework reduct, PropositionalMapping mapping, Interpretation prefix)
static InterpretationProcessor
ConflictFreeMaximizer.withPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
ModifierConstructorDescriptionRelativeKBipolarStateProcessor(int maxDepth, LinkStrategy linkStrategy, AbstractDialecticalFramework adf, PropositionalMapping mapping)
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.query
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.verifier
ModifierConstructorDescriptionAdmissibleVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
CompleteVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
GrounderStableVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
NaiveVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.semantics.interpretation
Modifier and TypeMethodDescriptionstatic Interpretation.Builder
Interpretation.builder(AbstractDialecticalFramework adf)
static Interpretation
Interpretation.empty(AbstractDialecticalFramework adf)
static Interpretation
Interpretation.fromSet(Set<Argument> satisfied, AbstractDialecticalFramework adf)
static Interpretation
Interpretation.fromSets(Set<Argument> satisfied, Set<Argument> unsatisfied, AbstractDialecticalFramework adf)
static Interpretation
Interpretation.partial(Set<Argument> satisfied, Set<Argument> unsatisfied, AbstractDialecticalFramework adf)
static Iterator<Interpretation>
Interpretation.partials(List<Argument> arguments, AbstractDialecticalFramework adf)
Goes through all possible partial interpretations respecting the order of the given list of arguments.static Interpretation
Interpretation.singleValued(Argument argument, boolean value, AbstractDialecticalFramework adf)
Returns an interpretation relative toadf
with a single truth value decided. -
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.syntax.adf
Modifier and TypeMethodDescriptionAbstractDialecticalFramework.Builder.build()
static AbstractDialecticalFramework
AbstractDialecticalFramework.empty()
static AbstractDialecticalFramework
AbstractDialecticalFramework.transform(BiFunction<Argument,AcceptanceCondition,AcceptanceCondition> transformer)
AbstractDialecticalFramework.transform(Function<AcceptanceCondition,AcceptanceCondition> transformer)
Creates a newAbstractDialecticalFramework
with transformed acceptance conditions.AbstractDialecticalFramework.transform(Transformer<AcceptanceCondition> transformer)
Creates a newAbstractDialecticalFramework
with transformed acceptance conditions. -
Uses of AbstractDialecticalFramework in org.tweetyproject.logics.cl.examples
Modifier and TypeMethodDescriptionstatic void
ADF_OCF_comparison_example.compareInference(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner_adf, RankingFunction kappa)
Compare the inference behavior of ADF "adf" and Ranking function "kappa"static ClBeliefSet
ADF_OCF_comparison_example.getBeliefSetFromADF(AbstractDialecticalFramework adf, int theta)
Creates a conditional belief base using the provided ADF "adf" and Translation Function "theta"