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.reasoner.encodings
net.sf.tweety.arg.adf.semantics
net.sf.tweety.arg.adf.syntax
net.sf.tweety.arg.adf.transform

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
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.

Uses of Argument in net.sf.tweety.arg.adf.reasoner.encodings

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

Modifier and Type	Method	Description
net.sf.tweety.logics.pl.syntax.Proposition	SatEncodingContext.getFalseRepresentation(Argument argument)
net.sf.tweety.logics.pl.syntax.Proposition	SatEncodingContext.getLinkRepresentation(Argument from, Argument to)
net.sf.tweety.logics.pl.syntax.Proposition	SatEncodingContext.getTrueRepresentation(Argument argument)

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()
Iterator<Argument>	Interpretation.iterator()
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
Link	LinkStrategy.compute(AbstractDialecticalFramework adf, Argument a, Argument b)
Link	SatLinkStrategy.compute(AbstractDialecticalFramework adf, Argument a, Argument b)
boolean	Interpretation.contains(Argument a)
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(Iterable<Argument> undecided)	Creates a new empty interpretation, hence where all arguments are undecided.
Interpretation(Map<Argument,Boolean> assignments)	Creates an interpretation based on the given mapping.

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()
abstract Stream<Argument>	AcceptanceCondition.arguments()
Stream<Argument>	Argument.arguments()
Stream<Argument>	AssociativeAcceptanceCondition.arguments()
Stream<Argument>	BinaryAcceptanceCondition.arguments()
Stream<Argument>	ContradictionAcceptanceCondition.arguments()
Stream<Argument>	TautologyAcceptanceCondition.arguments()
Stream<Argument>	UnaryAcceptanceCondition.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
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.
Stream<Link>	AbstractDialecticalFramework.linksFromParents(Argument b)
Stream<Link>	AbstractDialecticalFramework.linksToChildren(Argument a)
Stream<Argument>	AbstractDialecticalFramework.parents(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(Map<Argument,AcceptanceCondition> accByArgument)
AbstractDialecticalFrameworkSignature(Set<Argument> formulas)

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

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

Modifier and Type	Method	Description
net.sf.tweety.logics.pl.syntax.Proposition	DefinitionalCNFTransform.transformArgument(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> consumer, Argument argument, int polarity)
AcceptanceCondition	FixPartialTransform.transformArgument(Argument argument)
AcceptanceCondition	OmegaReductTransform.transformArgument(Argument argument)
net.sf.tweety.logics.pl.syntax.PlFormula	PlFormulaTransform.transformArgument(Argument argument)
default R	SimpleTransform.transformArgument(Consumer<R> consumer, Argument argument, int polarity)
R	SimpleTransform.transformArgument(Argument argument)
R	Transform.transformArgument(Consumer<C> consumer, Argument argument, int polarity)	This method is visited by the Arguments of the acceptance condition on which we apply this Transform.

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

Constructor	Description
DefinitionalCNFTransform(Function<Argument,net.sf.tweety.logics.pl.syntax.Proposition> argumentToProposition)	Constructs a non-optimized version of the definitional (resp.
DefinitionalCNFTransform(Function<Argument,net.sf.tweety.logics.pl.syntax.Proposition> argumentToProposition, boolean optimize)	Constructs a possibly optimized version of the definitional (resp.
PlFormulaTransform(Function<Argument,net.sf.tweety.logics.pl.syntax.PlFormula> argumentToPlFormula)