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

Packages that use Disjunction
Package	Description
net.sf.tweety.arg.adf.reasoner.sat.encodings
net.sf.tweety.arg.adf.sat
net.sf.tweety.arg.adf.transform.processor
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.sat.encodings

Methods in net.sf.tweety.arg.adf.reasoner.sat.encodings that return types with arguments of type Disjunction
Modifier and Type	Method	Description
`default java.util.Collection<Disjunction>`	SatEncoding.`encode(PropositionalMapping mapping, AbstractDialecticalFramework adf)`

Method parameters in net.sf.tweety.arg.adf.reasoner.sat.encodings with type arguments of type Disjunction
Modifier and Type	Method	Description
`void`	BipolarSatEncoding.`encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)`
`void`	ConflictFreeInterpretationSatEncoding.`encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)`
`void`	FixPartialSatEncoding.`encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)`
`void`	KBipolarSatEncoding.`encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)`
`void`	LargerInterpretationSatEncoding.`encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)`
`void`	RefineLargerSatEncoding.`encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)`
`void`	RefineUnequalSatEncoding.`encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)`
`void`	RelativeBipolarSatEncoding.`encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)`
`void`	RelativeKBipolarSatEncoding.`encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)`
`default void`	SatEncoding.`encode(java.util.Collection<Disjunction> collection, PropositionalMapping mapping, AbstractDialecticalFramework adf)`
`void`	SatEncoding.`encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)`
`void`	TwoValuedModelSatEncoding.`encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)`
`void`	VerifyAdmissibleSatEncoding.`encode(java.util.function.Consumer<Disjunction> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)`

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`	AsynchronousCloseSatSolverState.`add(Disjunction clause)`
`boolean`	AsynchronousSatSolverState.`add(Disjunction clause)`
`boolean`	SatSolverState.`add(Disjunction clause)`	Adds the given clause to the solver state.
`boolean`	SimpleSatSolverState.`add(Disjunction clause)`

Method parameters in net.sf.tweety.arg.adf.sat with type arguments of type Disjunction
Modifier and Type	Method	Description
`boolean`	AsynchronousCloseSatSolverState.`add(java.util.Collection<Disjunction> clauses)`
`boolean`	AsynchronousSatSolverState.`add(java.util.Collection<Disjunction> clauses)`
`default boolean`	SatSolverState.`add(java.util.Collection<Disjunction> clauses)`	Adds the given set of clauses to the solver state.
`boolean`	SimpleSatSolverState.`add(java.util.Collection<Disjunction> clauses)`

Uses of Disjunction in net.sf.tweety.arg.adf.transform.processor

Methods in net.sf.tweety.arg.adf.transform.processor that return types with arguments of type Disjunction
Modifier and Type	Method	Description
`java.util.Collection<Disjunction>`	ClauseSplittingProcessor.`process(Disjunction clause)`

Methods in net.sf.tweety.arg.adf.transform.processor with parameters of type Disjunction
Modifier and Type	Method	Description
`java.util.Collection<Disjunction>`	ClauseSplittingProcessor.`process(Disjunction clause)`

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