Uses of Class
org.tweetyproject.arg.dung.ldo.syntax.LdoDisjunction
-
Uses of LdoDisjunction in org.tweetyproject.arg.dung.ldo.syntax
Modifier and TypeMethodDescriptionLdoFormula.combineWithOr(Disjunctable f)
LdoDisjunction.createEmptyFormula()