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

Packages that use Disjunction

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

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

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

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

Methods in net.sf.tweety.logics.fol.syntax that return types with arguments of type Disjunction

Modifier and Type	Method	Description
Set<Disjunction>	SpecialFormula.getDisjunctions()