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

Packages that use AssociativePropositionalFormula

Package	Description
net.sf.tweety.logics.pl.syntax

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

Subclasses of AssociativePropositionalFormula in net.sf.tweety.logics.pl.syntax

Modifier and Type	Class and Description
class	Conjunction This class represents a conjunction in propositional logic.
class	Disjunction This class represents a disjunction in propositional logic.