Uses of Class
org.tweetyproject.logics.pl.syntax.AssociativePlFormula

Packages that use AssociativePlFormula

Package	Description
org.tweetyproject.arg.dung.learning.syntax
org.tweetyproject.arg.dung.learning.util
org.tweetyproject.logics.pl.syntax

Uses of AssociativePlFormula in org.tweetyproject.arg.dung.learning.syntax

Classes in org.tweetyproject.arg.dung.learning.syntax that implement interfaces with type arguments of type AssociativePlFormula

Modifier and Type	Class	Description
class	SimpleAttackConstraint	Implementation of the acceptance conditions used for learning argumentation frameworks from labelings Notation: for each acceptance condition we also store the argument a it is associated with In the condition itself we then use !b and b to represent !r_(ba) and r_(ba) respectively e.g.

Methods in org.tweetyproject.arg.dung.learning.syntax that return AssociativePlFormula

Modifier and Type	Method	Description
AssociativePlFormula	SimpleAttackConstraint.getCondition()	return the acceptance condition
AssociativePlFormula	SimpleAttackConstraint.getConditionForArgument(Argument arg, Input input)	compute the acceptance condition with respect to the labeling and its semantics for the given argument
AssociativePlFormula	SimpleAttackConstraint.getOptionalCondition(Collection<Argument> arguments)	compute the optional acceptance condition for this argument based on its acceptance condition

Uses of AssociativePlFormula in org.tweetyproject.arg.dung.learning.util

Methods in org.tweetyproject.arg.dung.learning.util with parameters of type AssociativePlFormula

Modifier and Type	Method	Description
static boolean	ModelComputation.existsMoreThanOneModelOfDNF(AssociativePlFormula condition)	compute whether the given formula in DNF has more than one model
static PossibleWorld	ModelComputation.getMinModelOfDNF(AssociativePlFormula condition)	compute a minimal model of the given formula in DNF
static Collection<PossibleWorld>	ModelComputation.getModelsOfDNF(AssociativePlFormula condition)	compute all models of a formula in disjunctive normal form

Uses of AssociativePlFormula in org.tweetyproject.logics.pl.syntax

Subclasses of AssociativePlFormula in org.tweetyproject.logics.pl.syntax

Modifier and Type	Class	Description
class	Conjunction	This class represents a conjunction in propositional logic.
class	Disjunction	This class represents a disjunction in propositional logic.
class	ExclusiveDisjunction	This class represents an exclusive disjunction (XOR) in propositional logic.