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.fol.syntax
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.mln.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	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	Description
Disjunction	Conditional.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	Description
Disjunction	Disjunction.clone()
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	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	Description
Disjunction	MlFormula.combineWithOr(Disjunctable f)

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

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

Modifier and Type	Method	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	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	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	Description
Disjunction	AspFolTranslator.toFOL(ASPHead source)

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

Modifier and Type	Method	Description
ASPHead	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	Description
private void	AspNlpTranslator.bodiesFromDisjunction(Disjunction source, java.util.List<java.util.List<ASPBodyElement>> 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	Description
Disjunction	FOLPropTranslator.toFOL(Disjunction disjunction)	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	Description
Disjunction	FOLPropTranslator.toPropositional(Disjunction disjunction)	Translates the given FOL Disjunction to a propositional Disjunction