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

Packages that use Disjunction
Package	Description
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.adf.sat
net.sf.tweety.arg.adf.util
net.sf.tweety.logics.pl.parser
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.pl.util
net.sf.tweety.logics.translators.folprop

Uses of Disjunction in net.sf.tweety.arg.adf.reasoner

Fields in net.sf.tweety.arg.adf.reasoner with type parameters of type Disjunction
Modifier and Type	Field	Description
`private java.util.Collection<Disjunction>`	SatEncoding.`argsTrueXorFalse`	This formula ensures that the propositions s_t and s_f for an argument s cannot both be true at the same time.

Methods in net.sf.tweety.arg.adf.reasoner that return Disjunction
Modifier and Type	Method	Description
`Disjunction`	SatEncoding.`refineLarger(Interpretation interpretation)`
`Disjunction`	SatEncoding.`refineUnequal(Interpretation interpretation)`	TODO Define functionality

Methods in net.sf.tweety.arg.adf.reasoner that return types with arguments of type Disjunction
Modifier and Type	Method	Description
`java.util.Collection<Disjunction>`	SatEncoding.`bipolar()`
`java.util.Collection<Disjunction>`	SatEncoding.`conflictFreeInterpretation()`
`java.util.Collection<Disjunction>`	SatEncoding.`kBipolar(Interpretation interpretation)`
`java.util.Collection<Disjunction>`	SatEncoding.`largerInterpretation(Interpretation interpretation)`	TODO define functionality
`java.util.Collection<Disjunction>`	SatEncoding.`verifyAdmissible(Interpretation interpretation)`

Method parameters in net.sf.tweety.arg.adf.reasoner with type arguments of type Disjunction
Modifier and Type	Method	Description
`private Interpretation`	NaiveInterpretationReasoner.`existsNai(AbstractDialecticalFramework adf, Interpretation interpretation, java.util.Collection<Disjunction> excluded, SatEncoding enc)`

Uses of Disjunction in net.sf.tweety.arg.adf.sat

Methods in net.sf.tweety.arg.adf.sat with parameters of type Disjunction
Modifier and Type	Method	Description
`boolean`	NativeLingelingSolver.LingelingSolverState.`add(Disjunction clause)`
`boolean`	SatSolverState.`add(Disjunction clause)`
`boolean`	NativeLingelingSolver.LingelingSolverState.`remove(Disjunction clause)`
`boolean`	SatSolverState.`remove(Disjunction clause)`

Method parameters in net.sf.tweety.arg.adf.sat with type arguments of type Disjunction
Modifier and Type	Method	Description
`boolean`	NativeLingelingSolver.LingelingSolverState.`add(java.util.Collection<Disjunction> clauses)`
`boolean`	SatSolverState.`add(java.util.Collection<Disjunction> clauses)`

Uses of Disjunction in net.sf.tweety.arg.adf.util

Methods in net.sf.tweety.arg.adf.util that return types with arguments of type Disjunction
Modifier and Type	Method	Description
`static java.util.stream.Collector<PlFormula,?,Disjunction>`	PlCollectors.`toDisjunction()`
`static <T> java.util.stream.Collector<T,?,Disjunction>`	PlCollectors.`toDisjunction(java.util.function.Function<T,? extends PlFormula>[] functions)`
`static java.util.stream.Collector<java.util.Collection<? extends PlFormula>,?,Disjunction>`	PlCollectors.`toDisjunctionOfConjunctions()`
`static java.util.stream.Collector<Pair<? extends PlFormula,? extends PlFormula>,?,Disjunction>`	PlCollectors.`toDisjunctionOfConjunctivePairs()`
`static java.util.stream.Collector<Triple<? extends PlFormula,? extends PlFormula,? extends PlFormula>,?,Disjunction>`	PlCollectors.`toDisjunctionOfConjunctiveTriples()`

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 Description

Disjunction DimacsParser.parseFormula(java.io.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	Description
`Disjunction`	PlFormula.`combineWithOr(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 Description

Disjunction RandomSatSampler.randomClause()
Generates a random clause with k literals.

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

Methods in net.sf.tweety.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