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

Packages that use Disjunction

Package	Description
org.tweetyproject.logics.pl.parser
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.pl.util
org.tweetyproject.logics.translators.folprop

Uses of Disjunction in org.tweetyproject.logics.pl.parser

Methods in org.tweetyproject.logics.pl.parser that return Disjunction

Modifier and Type	Method	Description
Disjunction	DimacsParser.parseFormula(java.io.Reader reader)

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

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

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

Uses of Disjunction in org.tweetyproject.logics.pl.util

Methods in org.tweetyproject.logics.pl.util that return Disjunction

Modifier and Type	Method	Description
Disjunction	RandomSatSampler.randomClause()	Generates a random clause with k literals.

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

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

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