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

Packages that use Disjunction

Package	Description
net.sf.tweety.arg.delp.syntax
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.el.syntax
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.translators.aspfol
net.sf.tweety.logics.translators.aspnlp
net.sf.tweety.logics.translators.folprop

Uses of Disjunction in net.sf.tweety.arg.delp.syntax

Methods in net.sf.tweety.arg.delp.syntax that return Disjunction

Modifier and Type	Method and Description
Disjunction	DelpRule.combineWithOr(Disjunctable f)

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

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

Modifier and Type	Method and Description
Disjunction	Conditional.combineWithOr(Disjunctable f)

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

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

Modifier and Type	Method and Description
Disjunction	ModalFormula.combineWithOr(Disjunctable f)

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 and Description
Disjunction	Disjunction.clone()
abstract Disjunction	RelationalFormula.combineWithOr(Disjunctable formula)
Disjunction	FolFormula.combineWithOr(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 and Description
java.util.Set<Disjunction>	SpecialFormula.getDisjunctions()

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

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

Modifier and Type	Method and Description
Disjunction	MlnFormula.combineWithOr(Disjunctable f)

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

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

Modifier and Type	Method and Description
Disjunction	RelationalConditional.combineWithOr(Disjunctable f)

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

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

Modifier and Type	Method and Description
Disjunction	DefaultRule.combineWithOr(Disjunctable formula)

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

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

Modifier and Type	Method and Description
Disjunction	AspFolTranslator.toFOL(DLPHead source)

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

Modifier and Type	Method and Description
DLPHead	AspFolTranslator.toASP(Disjunction source)

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

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

Modifier and Type	Method and Description
private void	AspNlpTranslator.bodiesFromDisjunction(Disjunction source, java.util.List<java.util.List<DLPElement>> bodies) Helper method:

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.toFOL(Disjunction disjuntion) Translates the given propositional Disjunction to a FOL Disjunction

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

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