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

Packages that use Union

Package	Description
org.tweetyproject.logics.dl.syntax

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

Methods in org.tweetyproject.logics.dl.syntax that return Union

Modifier and Type	Method	Description
Union	ComplexConcept.combineWithOr(Disjunctable f)
Union	Union.createEmptyFormula()