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.sat.encodings
net.sf.tweety.arg.adf.reasoner.sat.processor
net.sf.tweety.arg.adf.semantics.interpretation
net.sf.tweety.arg.adf.semantics.link
net.sf.tweety.arg.adf.syntax
net.sf.tweety.arg.adf.syntax.acc
net.sf.tweety.arg.adf.syntax.adf
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
java.lang.Boolean	AbstractDialecticalFrameworkReasoner.query(AbstractDialecticalFramework beliefbase, Argument formula)
java.lang.Boolean	AbstractDialecticalFrameworkReasoner.query(AbstractDialecticalFramework adf, Argument argument, InferenceMode inferenceMode)

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

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

Modifier and Type	Method	Description
Proposition	PropositionalMapping.getFalse(Argument argument)
Proposition	PropositionalMapping.getLink(Argument from, Argument to)
Proposition	PropositionalMapping.getTrue(Argument argument)

Uses of Argument in net.sf.tweety.arg.adf.reasoner.sat.processor

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

Modifier and Type	Method	Description
static StateProcessor	RelativeKBipolarStateProcessor.absoluteBounded(int k, Ordering<Argument> ordering, IncrementalSatSolver solver)
static StateProcessor	RelativeKBipolarStateProcessor.relativeBounded(double l, int k, Ordering<Argument> ordering, IncrementalSatSolver solver)

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

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

Modifier and Type	Method	Description
java.util.Set<Argument>	EmptyInterpretation.arguments()
java.util.Set<Argument>	Interpretation.arguments()	Returns the union of Interpretation.satisfied(), Interpretation.unsatisfied() and Interpretation.undecided().
java.util.Set<Argument>	SetInterpretation.arguments()
java.util.Set<Argument>	SingleValuedInterpretation.arguments()
java.util.Set<Argument>	EmptyInterpretation.satisfied()
java.util.Set<Argument>	Interpretation.satisfied()
java.util.Set<Argument>	SetInterpretation.satisfied()
java.util.Set<Argument>	SingleValuedInterpretation.satisfied()
static java.util.Map<Argument,java.lang.Boolean>	Interpretation.toMap(Interpretation interpretation)
java.util.Set<Argument>	EmptyInterpretation.undecided()
java.util.Set<Argument>	Interpretation.undecided()
java.util.Set<Argument>	SetInterpretation.undecided()
java.util.Set<Argument>	SingleValuedInterpretation.undecided()
java.util.Set<Argument>	EmptyInterpretation.unsatisfied()
java.util.Set<Argument>	Interpretation.unsatisfied()
java.util.Set<Argument>	SetInterpretation.unsatisfied()
java.util.Set<Argument>	SingleValuedInterpretation.unsatisfied()

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

Modifier and Type	Method	Description
Interpretation.Builder	Interpretation.Builder.put(Argument arg, java.lang.Boolean value)
boolean	EmptyInterpretation.satisfied(Argument arg)
boolean	Interpretation.satisfied(Argument arg)
boolean	SetInterpretation.satisfied(Argument arg)
boolean	SingleValuedInterpretation.satisfied(Argument arg)
static Interpretation	Interpretation.singleValued(Argument argument, boolean value, AbstractDialecticalFramework adf)	Returns an interpretation relative to adf with a single truth value decided.
boolean	EmptyInterpretation.undecided(Argument arg)
boolean	Interpretation.undecided(Argument arg)
boolean	SetInterpretation.undecided(Argument arg)
boolean	SingleValuedInterpretation.undecided(Argument arg)
boolean	EmptyInterpretation.unsatisfied(Argument arg)
boolean	Interpretation.unsatisfied(Argument arg)
boolean	SetInterpretation.unsatisfied(Argument arg)
boolean	SingleValuedInterpretation.unsatisfied(Argument arg)

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

Modifier and Type	Method	Description
static Interpretation.Builder	Interpretation.builder(java.util.Collection<Argument> arguments)
default boolean	Interpretation.containsAll(java.util.Collection<Argument> arguments)
static Interpretation	Interpretation.fromMap(java.util.Map<Argument,java.lang.Boolean> assignment)
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, java.util.Set<Argument> undecided)
static Interpretation	Interpretation.fromSets(java.util.Set<Argument> satisfied, java.util.Set<Argument> unsatisfied, AbstractDialecticalFramework adf)
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.restrict(Interpretation interpretation, java.util.Collection<Argument> restriction)	Creates a new interpretation with the same assignments as in the given arguments, but only uses the arguments contained in restriction.

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

Constructor	Description
SingleValuedInterpretation(Argument argument, boolean value, AbstractDialecticalFramework adf)

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

Constructor	Description
InterpretationIterator(java.util.List<Argument> arguments)
SetInterpretation(java.util.Set<Argument> satisfied, java.util.Set<Argument> unsatisfied, java.util.Set<Argument> undecided)
TwoValuedInterpretationIterator(java.util.Set<Argument> arguments)

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

Methods in net.sf.tweety.arg.adf.semantics.link that return Argument

Modifier and Type	Method	Description
Argument	Link.getFrom()
Argument	SimpleLink.getFrom()
Argument	Link.getTo()
Argument	SimpleLink.getTo()

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

Modifier and Type	Method	Description
LinkType	LinkStrategy.compute(Argument parent, AcceptanceCondition childAcc)
LinkType	SatLinkStrategy.compute(Argument parent, AcceptanceCondition childAcc)
static Link	Link.of(Argument from, Argument to, LinkType type)

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

Constructor	Description
SimpleLink(Argument from, Argument to, LinkType type)

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
java.util.stream.Stream<Argument>	Argument.arguments()

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

Modifier and Type	Method	Description
boolean	Argument.contains(Argument arg)

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

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

Modifier and Type	Method	Description
default java.util.stream.Stream<Argument>	AcceptanceCondition.arguments()
java.util.stream.Stream<Argument>	ContradictionAcceptanceCondition.arguments()

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

Modifier and Type	Method	Description
default boolean	AcceptanceCondition.contains(Argument arg)
boolean	ContradictionAcceptanceCondition.contains(Argument arg)
boolean	TautologyAcceptanceCondition.contains(Argument arg)
U	Visitor.visit(Argument acc, D topDownData)

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

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

Modifier and Type	Method	Description
java.util.Set<Argument>	AbstractDialecticalFramework.children(Argument parent)
java.util.Set<Argument>	ExtendedAbstractDialecticalFramework.children(Argument parent)
java.util.Set<Argument>	GraphAbstractDialecticalFramework.children(Argument parent)
SingleSetSignature<Argument>	AbstractDialecticalFramework.Signature.clone()
java.util.Set<Argument>	AbstractDialecticalFramework.getArguments()
java.util.Set<Argument>	ExtendedAbstractDialecticalFramework.getArguments()
java.util.Set<Argument>	GraphAbstractDialecticalFramework.getArguments()
java.util.Set<Argument>	AbstractDialecticalFramework.parents(Argument child)
java.util.Set<Argument>	ExtendedAbstractDialecticalFramework.parents(Argument child)
java.util.Set<Argument>	GraphAbstractDialecticalFramework.parents(Argument child)

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

Modifier and Type	Method	Description
AbstractDialecticalFramework.Builder	AbstractDialecticalFramework.Builder.add(Argument arg, AcceptanceCondition acc)
java.util.Set<Argument>	AbstractDialecticalFramework.children(Argument parent)
java.util.Set<Argument>	ExtendedAbstractDialecticalFramework.children(Argument parent)
java.util.Set<Argument>	GraphAbstractDialecticalFramework.children(Argument parent)
boolean	AbstractDialecticalFramework.contains(Argument arg)
boolean	ExtendedAbstractDialecticalFramework.contains(Argument arg)
boolean	GraphAbstractDialecticalFramework.contains(Argument arg)
AcceptanceCondition	AbstractDialecticalFramework.getAcceptanceCondition(Argument argument)	Guaranteed to be non-null if the ADF contains the argument.
AcceptanceCondition	ExtendedAbstractDialecticalFramework.getAcceptanceCondition(Argument argument)
AcceptanceCondition	GraphAbstractDialecticalFramework.getAcceptanceCondition(Argument argument)
int	AbstractDialecticalFramework.incomingDegree(Argument arg)
int	ExtendedAbstractDialecticalFramework.incomingDegree(Argument arg)
int	GraphAbstractDialecticalFramework.incomingDegree(Argument arg)
Link	AbstractDialecticalFramework.link(Argument parent, Argument child)	Computes the link (parent, child) iff necessary and returns it afterwards.
Link	ExtendedAbstractDialecticalFramework.link(Argument parent, Argument child)
Link	GraphAbstractDialecticalFramework.link(Argument parent, Argument child)
java.util.Set<Link>	AbstractDialecticalFramework.linksFrom(Argument parent)
java.util.Set<Link>	ExtendedAbstractDialecticalFramework.linksFrom(Argument parent)
java.util.Set<Link>	GraphAbstractDialecticalFramework.linksFrom(Argument parent)
java.util.Set<Link>	AbstractDialecticalFramework.linksTo(Argument child)
java.util.Set<Link>	ExtendedAbstractDialecticalFramework.linksTo(Argument child)
java.util.Set<Link>	GraphAbstractDialecticalFramework.linksTo(Argument child)
int	AbstractDialecticalFramework.outgoingDegree(Argument arg)
int	ExtendedAbstractDialecticalFramework.outgoingDegree(Argument arg)
int	GraphAbstractDialecticalFramework.outgoingDegree(Argument arg)
java.util.Set<Argument>	AbstractDialecticalFramework.parents(Argument child)
java.util.Set<Argument>	ExtendedAbstractDialecticalFramework.parents(Argument child)
java.util.Set<Argument>	GraphAbstractDialecticalFramework.parents(Argument child)
AbstractDialecticalFramework.Builder	AbstractDialecticalFramework.Builder.remove(Argument arg)

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

Modifier and Type	Method	Description
static AbstractDialecticalFramework.Builder	AbstractDialecticalFramework.fromMap(java.util.Map<Argument,AcceptanceCondition> map)

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

Constructor	Description
Signature(java.util.Set<Argument> formulas)

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

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

Modifier and Type	Method	Description
static TseitinTransformer.Builder	TseitinTransformer.builder(java.util.function.Function<Argument,Proposition> argumentMapping)
static TseitinTransformer.Builder	TseitinTransformer.builder(java.util.Map<Argument,Proposition> argumentMapping)

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

Constructor	Description
Builder(java.util.function.Function<Argument,Proposition> argumentMapping)
PropositionalTransformer(java.util.function.Function<Argument,Proposition> argumentMapping)