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

Packages that use AssociativePlFormula

Package	Description
org.tweetyproject.logics.pl.syntax

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.