Uses of Class
org.tweetyproject.arg.adf.syntax.Argument
Package
Description
-
Uses of Argument 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.boolean
AbstractDialecticalFrameworkReasoner.skepticalQuery
(AbstractDialecticalFramework adf, Argument argument) Deprecated, for removal: This API element is subject to removal in a future version. -
Uses of Argument in org.tweetyproject.arg.adf.reasoner.heuristics
Modifier and TypeMethodDescriptionint
Deprecated, for removal: This API element is subject to removal in a future version.int
Deprecated, for removal: This API element is subject to removal in a future version. -
Uses of Argument in org.tweetyproject.arg.adf.reasoner.query
Modifier and TypeMethodDescription -
Uses of Argument in org.tweetyproject.arg.adf.reasoner.sat.encodings
-
Uses of Argument in org.tweetyproject.arg.adf.semantics.interpretation
Modifier and TypeMethodDescriptionInterpretation.arguments()
Returns the union ofInterpretation.satisfied()
,Interpretation.unsatisfied()
andInterpretation.undecided()
.Interpretation.satisfied()
Interpretation.toMap
(Interpretation interpretation) Interpretation.undecided()
Interpretation.unsatisfied()
Modifier and TypeMethodDescriptiondefault boolean
default boolean
static Interpretation
Interpretation.extend
(Interpretation toExtend, Argument argument, boolean value) Extends the given interpretation by deciding a currently undecided argument.static Interpretation
Interpretation.ofSatisfied
(Argument argument) static Interpretation
Interpretation.ofUndecided
(Argument argument) static Interpretation
Interpretation.ofUnsatisfied
(Argument argument) boolean
boolean
Interpretation.Builder.unsatisfied
(Argument arg) boolean
Interpretation.unsatisfied
(Argument arg) Modifier and TypeMethodDescriptionstatic Interpretation.Builder
Interpretation.builder
(Collection<Argument> arguments) default boolean
Interpretation.containsAll
(Collection<Argument> arguments) static Interpretation
static Interpretation
Interpretation.fromSets
(Set<Argument> satisfied, Set<Argument> unsatisfied, Set<Argument> undecided) 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.static Interpretation
Interpretation.restrict
(Interpretation interpretation, Collection<Argument> restriction) Creates a new interpretation with the same assignments as in the given interpretation, but only uses the arguments contained inrestriction
.ModifierConstructorDescriptionInterpretationIterator
(Collection<Argument> arguments) TwoValuedInterpretationIterator
(Collection<Argument> arguments) -
Uses of Argument in org.tweetyproject.arg.adf.semantics.link
Modifier and TypeMethodDescriptionLinkStrategy.compute
(Argument parent, AcceptanceCondition childAcc) LinkStrategy.compute
(Argument parent, AcceptanceCondition childAcc, Interpretation assumption) SatLinkStrategy.compute
(Argument parent, AcceptanceCondition childAcc) SatLinkStrategy.compute
(Argument parent, AcceptanceCondition childAcc, Interpretation assumption) static Link
-
Uses of Argument in org.tweetyproject.arg.adf.syntax
-
Uses of Argument in org.tweetyproject.arg.adf.syntax.acc
Modifier and TypeMethodDescriptionAcceptanceCondition.arguments()
ContradictionAcceptanceCondition.arguments()
Modifier and TypeMethodDescriptiondefault boolean
Checks if the given argument is contained in this acceptance condition.boolean
boolean
-
Uses of Argument in org.tweetyproject.arg.adf.syntax.adf
Modifier and TypeMethodDescriptionAbstractDialecticalFramework.Builder.add
(Argument arg, AcceptanceCondition acc) boolean
AbstractDialecticalFramework.getAcceptanceCondition
(Argument argument) Guaranteed to be non-null if the ADF contains the argument.int
AbstractDialecticalFramework.incomingDegree
(Argument arg) Computes the link (parent, child) iff necessary and returns it afterwards.int
AbstractDialecticalFramework.outgoingDegree
(Argument arg) Modifier and TypeMethodDescriptionAbstractDialecticalFramework.fromMap
(Map<Argument, AcceptanceCondition> map) AbstractDialecticalFramework.transform
(BiFunction<Argument, AcceptanceCondition, AcceptanceCondition> transformer) -
Uses of Argument in org.tweetyproject.arg.adf.transform
Modifier and TypeMethodDescriptionstatic TseitinTransformer
TseitinTransformer.ofNegativePolarity
(Function<Argument, Literal> mapping, boolean optimize) static TseitinTransformer
TseitinTransformer.ofPositivePolarity
(Function<Argument, Literal> mapping, boolean optimize) -
Uses of Argument in org.tweetyproject.arg.adf.util
Modifier and TypeMethodDescriptionInterpretationTrieSet.orderedDecided
(Interpretation interpretation, Argument[] order) Deprecated.Modifier and TypeMethodDescriptionInterpretationTrieSet.orderedDecided
(Interpretation interpretation, Argument[] order) Deprecated.