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

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

Methods in net.sf.tweety.arg.adf.reasoner.encodings that return types with arguments of type Disjunction
Modifier and Type	Method	Description
`java.util.Collection<Disjunction>`	BipolarSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	ConflictFreeInterpretationSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	FixPartialSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	KBipolarSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	LargerInterpretationSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	RefineLargerSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	RefineUnequalSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`default java.util.Collection<Disjunction>`	SatEncoding.`encode(SatEncodingContext context)`
`java.util.Collection<Disjunction>`	SatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`	Constructs a SAT encoding based on the given context and an optional interpretation.
`java.util.Collection<Disjunction>`	TwoValuedModelSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`
`java.util.Collection<Disjunction>`	VerifyAdmissibleSatEncoding.`encode(SatEncodingContext context, Interpretation interpretation)`

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

Fields in net.sf.tweety.arg.adf.sat with type parameters of type Disjunction
Modifier and Type	Field	Description
`private java.util.Collection<Disjunction>`	SimpleSatSolverState.`assume`
`private java.util.Set<Disjunction>`	NativeLingelingSolver.LingelingSolverState.`stateCache`	Contains the disjunctions which were added after the last sat call and must be added before the next sat call.

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)`	Updates the state of the corresponding SAT-Solver by adding a clause.
`boolean`	SimpleSatSolverState.`add(Disjunction clause)`
`boolean`	NativeLingelingSolver.LingelingSolverState.`remove(Disjunction clause)`
`boolean`	SatSolverState.`remove(Disjunction clause)`	Tries to remove the given clause from the sat instance.
`boolean`	SimpleSatSolverState.`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)`
`boolean`	SimpleSatSolverState.`add(java.util.Collection<Disjunction> clauses)`

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

Method parameters in net.sf.tweety.arg.adf.transform with type arguments of type Disjunction
Modifier and Type	Method	Description
`Proposition`	DefinitionalCNFTransform.`transformArgument(java.util.function.Consumer<Disjunction> consumer, Argument argument, int polarity)`
`Proposition`	DefinitionalCNFTransform.`transformConjunction(java.util.function.Consumer<Disjunction> consumer, java.util.Collection<Proposition> subconditions, int polarity)`
`Proposition`	DefinitionalCNFTransform.`transformContradiction(java.util.function.Consumer<Disjunction> consumer, int polarity)`
`Proposition`	DefinitionalCNFTransform.`transformDisjunction(java.util.function.Consumer<Disjunction> consumer, java.util.Collection<Proposition> subconditions, int polarity)`
`Proposition`	DefinitionalCNFTransform.`transformEquivalence(java.util.function.Consumer<Disjunction> consumer, Proposition left, Proposition right, int polarity)`
`Proposition`	DefinitionalCNFTransform.`transformExclusiveDisjunction(java.util.function.Consumer<Disjunction> consumer, Proposition left, Proposition right, int polarity)`
`Proposition`	DefinitionalCNFTransform.`transformImplication(java.util.function.Consumer<Disjunction> consumer, Proposition left, Proposition right, int polarity)`
`Proposition`	DefinitionalCNFTransform.`transformNegation(java.util.function.Consumer<Disjunction> consumer, Proposition sub, int polarity)`
`Proposition`	DefinitionalCNFTransform.`transformTautology(java.util.function.Consumer<Disjunction> consumer, int polarity)`

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