Uses of Class
org.tweetyproject.logics.dl.syntax.AssociativeDlFormula

Packages that use AssociativeDlFormula

Package	Description
org.tweetyproject.logics.dl.syntax

Uses of AssociativeDlFormula in org.tweetyproject.logics.dl.syntax

Subclasses of AssociativeDlFormula in org.tweetyproject.logics.dl.syntax

Modifier and Type	Class	Description
class	Intersection	This class models an intersection in description logics.
class	Union	This class models an union in description logics.