Uses of Interface
org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
-
-
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.io
Methods in org.tweetyproject.arg.adf.io that return AbstractDialecticalFramework Modifier and Type Method Description AbstractDialecticalFramework
KppADFFormatParser. parse(java.io.File file)
AbstractDialecticalFramework
KppADFFormatParser. parse(java.io.Reader reader)
AbstractDialecticalFramework
KppADFFormatParser. parse(java.lang.String text)
Methods in org.tweetyproject.arg.adf.io with parameters of type AbstractDialecticalFramework Modifier and Type Method Description static void
KppADFFormatWriter. writeToFile(AbstractDialecticalFramework adf, java.io.File file)
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner
Methods in org.tweetyproject.arg.adf.reasoner with parameters of type AbstractDialecticalFramework Modifier and Type Method Description boolean
AbstractDialecticalFrameworkReasoner. credulousQuery(AbstractDialecticalFramework adf, Argument argument)
Interpretation
AbstractDialecticalFrameworkReasoner. getModel(AbstractDialecticalFramework adf)
java.util.Collection<Interpretation>
AbstractDialecticalFrameworkReasoner. getModels(AbstractDialecticalFramework adf)
java.util.Iterator<Interpretation>
AbstractDialecticalFrameworkReasoner. modelIterator(AbstractDialecticalFramework adf)
boolean
AbstractDialecticalFrameworkReasoner. skepticalQuery(AbstractDialecticalFramework adf, Argument argument)
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.heuristics
Constructors in org.tweetyproject.arg.adf.reasoner.heuristics with parameters of type AbstractDialecticalFramework Constructor Description AcceptanceConditionSizeComparator(AbstractDialecticalFramework adf)
DegreeComparator(AbstractDialecticalFramework adf, DegreeComparator.DegreeType degreeType)
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat
Methods in org.tweetyproject.arg.adf.reasoner.sat with parameters of type AbstractDialecticalFramework Modifier and Type Method Description java.util.Iterator<Interpretation>
Pipeline. iterator(AbstractDialecticalFramework adf)
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.encodings
Methods in org.tweetyproject.arg.adf.reasoner.sat.encodings with parameters of type AbstractDialecticalFramework Modifier and Type Method Description void
BipolarSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
ConflictFreeInterpretationSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
FixPartialSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
KBipolarSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
LargerInterpretationSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
RefineLargerSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
RefineUnequalSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
RelativeBipolarSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
RelativeKBipolarSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
Deprecated.default void
SatEncoding. encode(java.util.Collection<Clause> collection, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
SatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
default java.util.Collection<Clause>
SatEncoding. encode(PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
TwoValuedModelSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
VerifyAdmissibleSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
VerifyAdmissibleSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf, Atom toggle)
Constructors in org.tweetyproject.arg.adf.reasoner.sat.encodings with parameters of type AbstractDialecticalFramework Constructor Description PropositionalMapping(AbstractDialecticalFramework adf)
Creates propositional representations for the arguments and links of the provided ADF. -
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.generator
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.processor
Methods in org.tweetyproject.arg.adf.reasoner.sat.processor with parameters of type AbstractDialecticalFramework Modifier and Type Method Description Interpretation
InterpretationProcessor. process(SatSolverState mainState, SatSolverState verificationState, PropositionalMapping mapping, Interpretation interpretation, AbstractDialecticalFramework adf)
Performs the processing of the given interpretation on a potential isolated state, meaning that the updates on this state are not seen by the subsequent processors.void
KBipolarStateProcessor. process(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Interpretation
MaximizeInterpretationProcessor. process(SatSolverState processingState, SatSolverState verificationState, PropositionalMapping mapping, Interpretation interpretation, AbstractDialecticalFramework adf)
void
RelativeKBipolarStateProcessor. process(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
StateProcessor. process(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
InterpretationProcessor. updateState(SatSolverState state, PropositionalMapping mapping, Interpretation processed, AbstractDialecticalFramework adf)
void
MaximizeInterpretationProcessor. updateState(SatSolverState state, PropositionalMapping mapping, Interpretation maximal, AbstractDialecticalFramework adf)
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.reasoner.sat.verifier
-
Uses of AbstractDialecticalFramework in org.tweetyproject.arg.adf.semantics.interpretation
Methods in org.tweetyproject.arg.adf.semantics.interpretation with parameters of type AbstractDialecticalFramework Modifier and Type Method Description static Interpretation.Builder
Interpretation. builder(AbstractDialecticalFramework adf)
static Interpretation
Interpretation. empty(AbstractDialecticalFramework adf)
static Interpretation
Interpretation. fromSet(java.util.Set<Argument> satisfied, AbstractDialecticalFramework adf)
static Interpretation
Interpretation. fromSets(java.util.Set<Argument> satisfied, java.util.Set<Argument> unsatisfied, AbstractDialecticalFramework adf)
static Interpretation
Interpretation. fromWitness(java.util.Set<Atom> witness, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding.static Interpretation
Interpretation. partial(java.util.Set<Argument> satisfied, java.util.Set<Argument> unsatisfied, AbstractDialecticalFramework adf)
static java.util.Iterator<Interpretation>
Interpretation. partials(java.util.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
Methods in org.tweetyproject.arg.adf.syntax.adf that return AbstractDialecticalFramework Modifier and Type Method Description AbstractDialecticalFramework
AbstractDialecticalFramework.Builder. build()
static AbstractDialecticalFramework
AbstractDialecticalFramework. empty()
Methods in org.tweetyproject.arg.adf.syntax.adf with parameters of type AbstractDialecticalFramework Modifier and Type Method Description static AbstractDialecticalFramework.Builder
AbstractDialecticalFramework. copy(AbstractDialecticalFramework adf)
Creates a copy of the given AbstractDialecticalFramework, which can be modified before build() is called.static AbstractDialecticalFramework.Builder
AbstractDialecticalFramework. transform(AbstractDialecticalFramework adf, Transformer<AcceptanceCondition> transformer)
Creates a newAbstractDialecticalFramework
with transformed acceptance conditions. -
Uses of AbstractDialecticalFramework in org.tweetyproject.logics.cl.examples
Methods in org.tweetyproject.logics.cl.examples with parameters of type AbstractDialecticalFramework Modifier and Type Method Description static 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"
-