Uses of Class
net.sf.tweety.arg.adf.syntax.Argument
-
-
Uses of Argument in net.sf.tweety.arg.adf.parser
Fields in net.sf.tweety.arg.adf.parser with type parameters of type Argument Modifier and Type Field Description private java.util.Map<Argument,AcceptanceCondition>
KppADFFormatParser.ACNode. accByArgument
private java.util.Map<java.lang.String,Argument>
KppADFFormatParser.IdentifierNode. statements
private java.util.Map<java.lang.String,Argument>
KppADFFormatParser.SNode. statements
Methods in net.sf.tweety.arg.adf.parser that return Argument Modifier and Type Method Description Argument
KppADFFormatParser.IdentifierNode. parseArgument()
(package private) Argument
KppADFFormatParser.Node. parseArgument()
Constructor parameters in net.sf.tweety.arg.adf.parser with type arguments of type Argument Constructor Description ACNode(java.util.Map<Argument,AcceptanceCondition> accByArgument)
IdentifierNode(java.lang.String name, java.util.Map<java.lang.String,Argument> statements)
SNode(java.util.Map<java.lang.String,Argument> statements)
-
Uses of Argument in net.sf.tweety.arg.adf.reasoner
Methods in net.sf.tweety.arg.adf.reasoner with parameters of type Argument Modifier and Type Method Description java.lang.Boolean
AbstractDialecticalFrameworkReasoner. query(AbstractDialecticalFramework beliefbase, Argument formula)
java.lang.Boolean
AbstractDialecticalFrameworkReasoner. query(AbstractDialecticalFramework beliefbase, Argument formula, InferenceMode inferenceMode)
Queries the given AAF for the given argument using the given inference type. -
Uses of Argument in net.sf.tweety.arg.adf.reasoner.encodings
Fields in net.sf.tweety.arg.adf.reasoner.encodings with type parameters of type Argument Modifier and Type Field Description private java.util.Map<Argument,Proposition>
SatEncodingContext. falses
private java.util.Map<Argument,Proposition>
SatEncodingContext. trues
Methods in net.sf.tweety.arg.adf.reasoner.encodings with parameters of type Argument Modifier and Type Method Description Proposition
SatEncodingContext. getFalseRepresentation(Argument argument)
Proposition
SatEncodingContext. getLinkRepresentation(Argument from, Argument to)
Proposition
SatEncodingContext. getTrueRepresentation(Argument argument)
-
Uses of Argument in net.sf.tweety.arg.adf.semantics
Fields in net.sf.tweety.arg.adf.semantics declared as Argument Modifier and Type Field Description private Argument
Link. from
private Argument
Link. to
Fields in net.sf.tweety.arg.adf.semantics with type parameters of type Argument Modifier and Type Field Description private java.util.Set<Argument>
Interpretation. satisfied
private java.util.Set<Argument>
Interpretation. undecided
private java.util.Set<Argument>
Interpretation. unsatisfied
Methods in net.sf.tweety.arg.adf.semantics that return Argument Modifier and Type Method Description Argument
Link. getFrom()
Argument
Link. getTo()
Methods in net.sf.tweety.arg.adf.semantics that return types with arguments of type Argument Modifier and Type Method Description java.util.stream.Stream<Argument>
Interpretation. arguments()
java.util.Set<Argument>
Interpretation. getSatisfied()
java.util.Set<Argument>
Interpretation. getUndecided()
java.util.Set<Argument>
Interpretation. getUnsatisfied()
java.util.Iterator<Argument>
Interpretation. iterator()
java.util.stream.Stream<Argument>
Interpretation. satisfied()
java.util.stream.Stream<Argument>
Interpretation. undecided()
java.util.stream.Stream<Argument>
Interpretation. unsatisfied()
Methods in net.sf.tweety.arg.adf.semantics with parameters of type Argument Modifier and Type Method Description Link
LinkStrategy. compute(AbstractDialecticalFramework adf, Argument a, Argument b)
Link
SatLinkStrategy. compute(AbstractDialecticalFramework adf, Argument a, Argument b)
boolean
Interpretation. contains(Argument a)
java.lang.Boolean
Interpretation. get(Argument a)
boolean
Interpretation. isSatisfied(Argument a)
boolean
Interpretation. isUndecided(Argument a)
boolean
Interpretation. isUnsatisfied(Argument a)
boolean
Interpretation. satisfies(Argument formula)
Constructors in net.sf.tweety.arg.adf.semantics with parameters of type Argument Constructor Description Link(Argument from, Argument to, LinkType linkType)
Constructor parameters in net.sf.tweety.arg.adf.semantics with type arguments of type Argument Constructor Description Interpretation(java.lang.Iterable<Argument> undecided)
Creates a new empty interpretation, hence where all arguments are undecided.Interpretation(java.util.Map<Argument,java.lang.Boolean> assignments)
Creates an interpretation based on the given mapping. -
Uses of Argument in net.sf.tweety.arg.adf.syntax
Fields in net.sf.tweety.arg.adf.syntax with type parameters of type Argument Modifier and Type Field Description private java.util.Map<Argument,AcceptanceCondition>
AbstractDialecticalFramework. accByArgument
private java.util.Map<Argument,java.util.Set<Argument>>
AbstractDialecticalFramework. childrenByParent
Maps an argument to all the arguments in which it occurs in their acceptance condition.private java.util.Map<Argument,java.util.Set<Argument>>
AbstractDialecticalFramework. childrenByParent
Maps an argument to all the arguments in which it occurs in their acceptance condition.private Cache<Pair<Argument,Argument>,Link>
AbstractDialecticalFramework. linkCache
private Cache<Pair<Argument,Argument>,Link>
AbstractDialecticalFramework. linkCache
private java.util.Map<Argument,java.util.Set<Argument>>
AbstractDialecticalFramework. parentsByChild
Maps an argument to the arguments of its acceptance conditionprivate java.util.Map<Argument,java.util.Set<Argument>>
AbstractDialecticalFramework. parentsByChild
Maps an argument to the arguments of its acceptance conditionMethods in net.sf.tweety.arg.adf.syntax that return types with arguments of type Argument Modifier and Type Method Description java.util.stream.Stream<Argument>
AbstractDialecticalFramework. arguments()
abstract java.util.stream.Stream<Argument>
AcceptanceCondition. arguments()
java.util.stream.Stream<Argument>
Argument. arguments()
java.util.stream.Stream<Argument>
AssociativeAcceptanceCondition. arguments()
java.util.stream.Stream<Argument>
BinaryAcceptanceCondition. arguments()
java.util.stream.Stream<Argument>
ContradictionAcceptanceCondition. arguments()
java.util.stream.Stream<Argument>
TautologyAcceptanceCondition. arguments()
java.util.stream.Stream<Argument>
UnaryAcceptanceCondition. arguments()
java.util.Iterator<Argument>
AbstractDialecticalFramework. iterator()
java.util.stream.Stream<Argument>
AbstractDialecticalFramework. parents(Argument child)
Methods in net.sf.tweety.arg.adf.syntax with parameters of type Argument Modifier and Type Method Description boolean
AbstractDialecticalFramework. containsArgument(Argument a)
AcceptanceCondition
AbstractDialecticalFramework. getAcceptanceCondition(Argument argument)
Link
AbstractDialecticalFramework. link(Argument a, Argument b)
Computes the link (a,b) iff necessary and returns it afterwards.java.util.stream.Stream<Link>
AbstractDialecticalFramework. linksFromParents(Argument b)
java.util.stream.Stream<Link>
AbstractDialecticalFramework. linksToChildren(Argument a)
java.util.stream.Stream<Argument>
AbstractDialecticalFramework. parents(Argument child)
private void
AbstractDialecticalFramework. updateRelations(Argument child)
Constructors in net.sf.tweety.arg.adf.syntax with parameters of type Argument Constructor Description AbstractDialecticalFrameworkSignature(Argument a)
Constructor parameters in net.sf.tweety.arg.adf.syntax with type arguments of type Argument Constructor Description AbstractDialecticalFramework(java.util.Map<Argument,AcceptanceCondition> accByArgument)
AbstractDialecticalFrameworkSignature(java.util.Set<Argument> formulas)
-
Uses of Argument in net.sf.tweety.arg.adf.transform
Fields in net.sf.tweety.arg.adf.transform with type parameters of type Argument Modifier and Type Field Description private java.util.function.Function<Argument,PlFormula>
PlFormulaTransform. argumentToPlFormula
private java.util.function.Function<Argument,Proposition>
DefinitionalCNFTransform. argumentToProposition
Methods in net.sf.tweety.arg.adf.transform with parameters of type Argument Modifier and Type Method Description Proposition
DefinitionalCNFTransform. transformArgument(java.util.function.Consumer<Disjunction> consumer, Argument argument, int polarity)
AcceptanceCondition
FixPartialTransform. transformArgument(Argument argument)
AcceptanceCondition
OmegaReductTransform. transformArgument(Argument argument)
PlFormula
PlFormulaTransform. transformArgument(Argument argument)
default R
SimpleTransform. transformArgument(java.util.function.Consumer<R> consumer, Argument argument, int polarity)
R
SimpleTransform. transformArgument(Argument argument)
R
Transform. transformArgument(java.util.function.Consumer<C> consumer, Argument argument, int polarity)
Constructor parameters in net.sf.tweety.arg.adf.transform with type arguments of type Argument Constructor Description DefinitionalCNFTransform(java.util.function.Function<Argument,Proposition> argumentToProposition)
Constructs a non-optimized version of the definitional (resp.DefinitionalCNFTransform(java.util.function.Function<Argument,Proposition> argumentToProposition, boolean optimize)
Constructs a possibly optimized version of the definitional (resp.PlFormulaTransform(java.util.function.Function<Argument,PlFormula> argumentToPlFormula)
-