Uses of Interface
net.sf.tweety.arg.adf.syntax.adf.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
Methods in net.sf.tweety.arg.adf.reasoner with parameters of type AbstractDialecticalFramework Modifier and Type Method Description Interpretation
AbstractDialecticalFrameworkReasoner. getModel(AbstractDialecticalFramework adf)
java.util.Collection<Interpretation>
AbstractDialecticalFrameworkReasoner. getModels(AbstractDialecticalFramework adf)
java.util.Iterator<Interpretation>
AbstractDialecticalFrameworkReasoner. modelIterator(AbstractDialecticalFramework adf)
java.lang.Boolean
AbstractDialecticalFrameworkReasoner. query(AbstractDialecticalFramework beliefbase, Argument formula)
java.lang.Boolean
AbstractDialecticalFrameworkReasoner. query(AbstractDialecticalFramework adf, Argument argument, InferenceMode inferenceMode)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.ordering
Methods in net.sf.tweety.arg.adf.reasoner.ordering with parameters of type AbstractDialecticalFramework Modifier and Type Method Description java.util.List<T>
AbstractOrdering. order(AbstractDialecticalFramework adf)
java.util.List<T>
Ordering. order(AbstractDialecticalFramework adf)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.sat
Methods in net.sf.tweety.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 net.sf.tweety.arg.adf.reasoner.sat.encodings
Methods in net.sf.tweety.arg.adf.reasoner.sat.encodings with parameters of type AbstractDialecticalFramework Modifier and Type Method Description void
BipolarSatEncoding. encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
ConflictFreeInterpretationSatEncoding. encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
FixPartialSatEncoding. encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
KBipolarSatEncoding. encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
LargerInterpretationSatEncoding. encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
RefineLargerSatEncoding. encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
RefineUnequalSatEncoding. encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
RelativeBipolarSatEncoding. encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
RelativeKBipolarSatEncoding. encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
default void
SatEncoding. encode(java.util.Collection<Disjunction> collection, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
SatEncoding. encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
default java.util.Collection<Disjunction>
SatEncoding. encode(PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
TwoValuedModelSatEncoding. encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
VerifyAdmissibleSatEncoding. encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
Constructors in net.sf.tweety.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 net.sf.tweety.arg.adf.reasoner.sat.generator
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.sat.processor
Methods in net.sf.tweety.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 net.sf.tweety.arg.adf.reasoner.sat.verifier
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.semantics.interpretation
Methods in net.sf.tweety.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(Interpretation<PlBeliefSet,PlFormula> 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.Constructors in net.sf.tweety.arg.adf.semantics.interpretation with parameters of type AbstractDialecticalFramework Constructor Description EmptyInterpretation(AbstractDialecticalFramework adf)
An empty interpretation relative to the given ADFSingleValuedInterpretation(Argument argument, boolean value, AbstractDialecticalFramework adf)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.syntax.adf
Classes in net.sf.tweety.arg.adf.syntax.adf that implement AbstractDialecticalFramework Modifier and Type Class Description class
ExtendedAbstractDialecticalFramework
Extended in the sense of the addition of arguments and links to an existing ADF.class
GraphAbstractDialecticalFramework
Internally represented as a graph-like structure.Methods in net.sf.tweety.arg.adf.syntax.adf that return AbstractDialecticalFramework Modifier and Type Method Description AbstractDialecticalFramework
AbstractDialecticalFramework.Builder. build()
static AbstractDialecticalFramework
AbstractDialecticalFramework. empty()
Methods in net.sf.tweety.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. extend(AbstractDialecticalFramework adf)
Allows to add arguments and acceptance conditions.static AbstractDialecticalFramework.Builder
AbstractDialecticalFramework. transform(AbstractDialecticalFramework adf, Transformer<AcceptanceCondition> transformer)
Creates a newAbstractDialecticalFramework
with transformed acceptance conditions.
-