Uses of Class
net.sf.tweety.logics.dl.syntax.Union

Packages that use Union

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

Uses of Union in net.sf.tweety.logics.dl.syntax

Methods in net.sf.tweety.logics.dl.syntax that return Union

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