Uses of Class
org.tweetyproject.logics.fol.syntax.Disjunction

Packages that use Disjunction

Package	Description
org.tweetyproject.arg.delp.syntax
org.tweetyproject.logics.cl.syntax
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.ml.syntax
org.tweetyproject.logics.mln.syntax
org.tweetyproject.logics.rcl.syntax
org.tweetyproject.logics.rdl.syntax
org.tweetyproject.logics.translators.aspfol
org.tweetyproject.logics.translators.folprop

Uses of Disjunction in org.tweetyproject.arg.delp.syntax

Methods in org.tweetyproject.arg.delp.syntax that return Disjunction

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

Uses of Disjunction in org.tweetyproject.logics.cl.syntax

Methods in org.tweetyproject.logics.cl.syntax that return Disjunction

Modifier and Type	Method	Description
Disjunction	Conditional.combineWithOr(Disjunctable f)	Combines this conditional with another formula using logical disjunction (OR).

Uses of Disjunction in org.tweetyproject.logics.fol.syntax

Methods in org.tweetyproject.logics.fol.syntax that return Disjunction

Modifier and Type	Method	Description
Disjunction	Disjunction.clone()
Disjunction	FolFormula.combineWithOr(Disjunctable f)
Disjunction	Disjunction.createEmptyFormula()

Methods in org.tweetyproject.logics.fol.syntax that return types with arguments of type Disjunction

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

Uses of Disjunction in org.tweetyproject.logics.ml.syntax

Methods in org.tweetyproject.logics.ml.syntax that return Disjunction

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

Uses of Disjunction in org.tweetyproject.logics.mln.syntax

Methods in org.tweetyproject.logics.mln.syntax that return Disjunction

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

Uses of Disjunction in org.tweetyproject.logics.rcl.syntax

Methods in org.tweetyproject.logics.rcl.syntax that return Disjunction

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

Uses of Disjunction in org.tweetyproject.logics.rdl.syntax

Methods in org.tweetyproject.logics.rdl.syntax that return Disjunction

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

Uses of Disjunction in org.tweetyproject.logics.translators.aspfol

Methods in org.tweetyproject.logics.translators.aspfol that return Disjunction

Modifier and Type	Method	Description
Disjunction	AspFolTranslator.toFOL(ClassicalHead source)	Translates a ClassicalHead (ASP disjunction) to a FOL Disjunction.

Methods in org.tweetyproject.logics.translators.aspfol with parameters of type Disjunction

Modifier and Type	Method	Description
ClassicalHead	AspFolTranslator.toASP(Disjunction source)	Translates a FOL Disjunction into an ASP ClassicalHead.

Uses of Disjunction in org.tweetyproject.logics.translators.folprop

Methods in org.tweetyproject.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 org.tweetyproject.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