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

Packages that use Disjunction

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

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(Disjunctable f)
Disjunction	Disjunction.createEmptyFormula()

Uses of Disjunction in net.sf.tweety.logics.translators.folprop

Methods in net.sf.tweety.logics.translators.folprop that return Disjunction

Modifier and Type	Method and Description
Disjunction	FOLPropTranslator.toPropositional(Disjunction disjunction) Translates the given FOL Disjunction to a propositional Disjunction

Methods in net.sf.tweety.logics.translators.folprop with parameters of type Disjunction

Modifier and Type	Method and Description
Disjunction	FOLPropTranslator.toFOL(Disjunction disjuntion) Translates the given propositional Disjunction to a FOL Disjunction