Uses of Class
net.sf.tweety.logics.pl.syntax.Disjunction

Packages that use Disjunction

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

Uses of Disjunction in net.sf.tweety.logics.pl.syntax

Methods in net.sf.tweety.logics.pl.syntax that return Disjunction

Modifier and Type	Method and Description
Disjunction	PropositionalFormula.combineWithOr(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable f)
Disjunction	Disjunction.createEmptyFormula()