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
ModifierConstructorDescriptionDeprecated, for removal: This API element is subject to removal in a future version.DegreeComparator
(AbstractDialecticalFramework adf, DegreeComparator.DegreeType degreeType) Deprecated, for removal: This API element is subject to removal in a future version. -
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.decomposer
ModifierConstructorDescription -
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.encodings
ModifierConstructorDescriptionConflictFreeInterpretationSatEncoding
(AbstractDialecticalFramework adf, PropositionalMapping mapping) Creates propositional representations for the arguments and links of the provided ADF.RestrictedBipolarSatEncoding
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial) RestrictedKBipolarSatEncoding
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial) -
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) -
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.generator
Modifier and TypeMethodDescriptionstatic CandidateGenerator
ConflictFreeGenerator.restricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
only computes conflict free interpretations which are extensions of the defined partial interpretation.static CandidateGenerator
GroundGenerator.restricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
only computes the ground interpretation if it extends the given prefix.static CandidateGenerator
ModelGenerator.restricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
only computes two-valued models which are extensions of the defined prefix.static CandidateGenerator
ConflictFreeGenerator.unrestricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
computes all conflict free interpretations.static CandidateGenerator
GroundGenerator.unrestricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
computes the ground interpretation.static CandidateGenerator
ModelGenerator.unrestricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
computes all two-valued model interpretations. -
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.processor
Modifier and TypeMethodDescriptionstatic InterpretationProcessor
AdmissibleMaximizer.restricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix) static InterpretationProcessor
ConflictFreeMaximizer.restricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix) static InterpretationProcessor
AdmissibleMaximizer.unrestricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) static InterpretationProcessor
ConflictFreeMaximizer.unrestricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) ModifierConstructorDescriptionRestrictedKBipolarStateProcessor
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial) -
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.query
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.verifier
ModifierConstructorDescriptionCompleteVerifier
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) NaiveVerifier
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) PreferredVerifier
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) StableVerifier
(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.fromSets
(Set<Argument> satisfied, Set<Argument> unsatisfied, AbstractDialecticalFramework adf) Interpretation fromSetsstatic 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. -
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.translators.adfcl
Modifier and TypeMethodDescriptionvoid
ConverterADF2CL.compareInference
(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner_adf, RankingFunction kappa) Compare the inference behavior of ADF "adf" and Ranking function "kappa"ConverterADF2CL.getBeliefSetFromADF
(AbstractDialecticalFramework adf, int theta) Creates a conditional belief base using the provided ADF "adf" and Translation Function "theta"