Uses of Class
net.sf.tweety.logics.pl.syntax.AssociativePlFormula

Packages that use AssociativePlFormula

Package	Description
net.sf.tweety.arg.adf.util
net.sf.tweety.logics.pl.syntax

Uses of AssociativePlFormula in net.sf.tweety.arg.adf.util

Classes in net.sf.tweety.arg.adf.util with type parameters of type AssociativePlFormula

Modifier and Type	Class	Description
private static class	PlCollectors.MapAccumulator<R extends AssociativePlFormula,T>

Uses of AssociativePlFormula in net.sf.tweety.logics.pl.syntax

Subclasses of AssociativePlFormula in net.sf.tweety.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.