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()
-