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

Packages that use Disjunction

Package	Description
net.sf.tweety.logics.pl.parser
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.pl.util

Uses of Disjunction in net.sf.tweety.logics.pl.parser

Methods in net.sf.tweety.logics.pl.parser that return Disjunction

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

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(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable f)
Disjunction	Disjunction.createEmptyFormula()

Uses of Disjunction in net.sf.tweety.logics.pl.util

Methods in net.sf.tweety.logics.pl.util that return Disjunction

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