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

Packages that use AssociativePlFormula

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

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.
class	ExclusiveDisjunction	This class represents an exclusive disjunction (XOR) in propositional logic.