Uses of Class
net.sf.tweety.arg.adf.syntax.Argument

Packages that use Argument

Package	Description
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.adf.semantics
net.sf.tweety.arg.adf.syntax

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
Link	LinkStrategy.compute(AbstractDialecticalFramework adf, Argument a, Argument b)
Link	SatLinkStrategy.compute(AbstractDialecticalFramework adf, Argument a, Argument b)
Boolean	AbstractDialecticalFrameworkReasoner.query(AbstractDialecticalFramework beliefbase, Argument formula)
Boolean	AbstractDialecticalFrameworkReasoner.query(AbstractDialecticalFramework beliefbase, Argument formula, net.sf.tweety.commons.InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.

Method parameters in net.sf.tweety.arg.adf.reasoner with type arguments of type Argument

Modifier and Type	Method	Description
net.sf.tweety.logics.pl.syntax.PlBeliefSet	SatModelReasoner.getPropositionalCharacterisation(AbstractDialecticalFramework aaf, Cache<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> cache)	returns a propositional characterisation of the reasoning problem

Uses of Argument in net.sf.tweety.arg.adf.semantics

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
Stream<Argument>	Interpretation.arguments()
Set<Argument>	Interpretation.getSatisfied()
Set<Argument>	Interpretation.getUndecided()
Set<Argument>	Interpretation.getUnsatisfied()
Stream<Argument>	Interpretation.satisfied()
Stream<Argument>	Interpretation.undecided()
Stream<Argument>	Interpretation.unsatisfied()

Methods in net.sf.tweety.arg.adf.semantics with parameters of type Argument

Modifier and Type	Method	Description
boolean	Interpretation.contains(Argument a)
Boolean	Interpretation.get(Argument a)	TODO define functionality
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)	Creates a new link.

Constructor parameters in net.sf.tweety.arg.adf.semantics with type arguments of type Argument

Constructor	Description
Interpretation(Iterable<Argument> undecided)
Interpretation(Collection<Argument> undecided)
Interpretation(Map<Argument,Boolean> assignments)

Uses of Argument in net.sf.tweety.arg.adf.syntax

Methods in net.sf.tweety.arg.adf.syntax that return types with arguments of type Argument

Modifier and Type	Method	Description
Stream<Argument>	AbstractDialecticalFramework.arguments()
Stream<Argument>	AcceptanceCondition.arguments()	Recursively computes all of the arguments occuring in this acceptance condition.
Stream<Argument>	Argument.arguments()
Stream<Argument>	ConjunctionAcceptanceCondition.arguments()
Stream<Argument>	ContradictionAcceptanceCondition.arguments()
Stream<Argument>	DisjunctionAcceptanceCondition.arguments()
Stream<Argument>	EquivalenceAcceptanceCondition.arguments()
Stream<Argument>	ExclusiveDisjunctionAcceptanceCondition.arguments()
Stream<Argument>	ImplicationAcceptanceCondition.arguments()
Stream<Argument>	NegationAcceptanceCondition.arguments()
Stream<Argument>	TautologyAcceptanceCondition.arguments()
Iterator<Argument>	AbstractDialecticalFramework.iterator()
Stream<Argument>	AbstractDialecticalFramework.parents(Argument child)

Methods in net.sf.tweety.arg.adf.syntax with parameters of type Argument

Modifier and Type	Method	Description
AcceptanceCondition	AbstractDialecticalFramework.getAcceptanceCondition(Argument argument)
Link	AbstractDialecticalFramework.link(Argument a, Argument b)	Computes the link (a,b) iff necessary and returns it afterwards.
Stream<Link>	AbstractDialecticalFramework.linksToChildren(Argument a)	TODO define functionality
Stream<Link>	AbstractDialecticalFramework.linksToParent(Argument b)	TODO define functionality
Stream<Argument>	AbstractDialecticalFramework.parents(Argument child)

Method parameters in net.sf.tweety.arg.adf.syntax with type arguments of type Argument

Modifier and Type	Method	Description
net.sf.tweety.logics.pl.syntax.PlFormula	AcceptanceCondition.toPlFormula(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentMap)
net.sf.tweety.logics.pl.syntax.PlFormula	Argument.toPlFormula(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentMap)
net.sf.tweety.logics.pl.syntax.PlFormula	ConjunctionAcceptanceCondition.toPlFormula(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentMap)
net.sf.tweety.logics.pl.syntax.PlFormula	ContradictionAcceptanceCondition.toPlFormula(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentMap)
net.sf.tweety.logics.pl.syntax.PlFormula	DisjunctionAcceptanceCondition.toPlFormula(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentMap)
net.sf.tweety.logics.pl.syntax.PlFormula	EquivalenceAcceptanceCondition.toPlFormula(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentMap)
net.sf.tweety.logics.pl.syntax.PlFormula	ExclusiveDisjunctionAcceptanceCondition.toPlFormula(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentMap)
net.sf.tweety.logics.pl.syntax.PlFormula	ImplicationAcceptanceCondition.toPlFormula(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentMap)
net.sf.tweety.logics.pl.syntax.PlFormula	NegationAcceptanceCondition.toPlFormula(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentMap)
net.sf.tweety.logics.pl.syntax.PlFormula	TautologyAcceptanceCondition.toPlFormula(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentMap)

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(Map<Argument,AcceptanceCondition> accByArgument)
AbstractDialecticalFrameworkSignature(Set<Argument> formulas)	Creates a new signature