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

Packages that use Conjunction
Package	Description
net.sf.tweety.arg.adf.util
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.qbf.syntax
net.sf.tweety.logics.translators.folprop

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

Methods in net.sf.tweety.arg.adf.util that return types with arguments of type Conjunction
Modifier and Type	Method	Description
`static java.util.stream.Collector<PlFormula,?,Conjunction>`	PlCollectors.`toConjunction()`
`static java.util.stream.Collector<java.util.Collection<? extends PlFormula>,?,Conjunction>`	PlCollectors.`toConjunctionOfDisjunctions()`
`static java.util.stream.Collector<Pair<? extends PlFormula,? extends PlFormula>,?,Conjunction>`	PlCollectors.`toConjunctionOfDisjunctivePairs()`
`static java.util.stream.Collector<Triple<? extends PlFormula,? extends PlFormula,? extends PlFormula>,?,Conjunction>`	PlCollectors.`toConjunctionOfDisjunctiveTriples()`

Uses of Conjunction in net.sf.tweety.logics.cl.syntax

Methods in net.sf.tweety.logics.cl.syntax that return Conjunction
Modifier and Type Method Description

Conjunction Conditional.combineWithAnd(Conjunctable f)

Uses of Conjunction in net.sf.tweety.logics.pl.syntax

Methods in net.sf.tweety.logics.pl.syntax that return Conjunction
Modifier and Type	Method	Description
`Conjunction`	Conjunction.`clone()`
`Conjunction`	PlFormula.`combineWithAnd(Conjunctable f)`
`Conjunction`	Conjunction.`createEmptyFormula()`
`Conjunction`	PlFormula.`resolveWith(PlFormula other)`	Resolves this formula with the given one (both have to be conjunctive clauses) and returns some resolvent.
`Conjunction`	Conjunction.`toCnf()`
`Conjunction`	Disjunction.`toCnf()`
`Conjunction`	Equivalence.`toCnf()`
`Conjunction`	ExclusiveDisjunction.`toCnf()`
`Conjunction`	Implication.`toCnf()`
`Conjunction`	Negation.`toCnf()`
`Conjunction`	PlBeliefSet.`toCnf()`	This method returns this belief set in conjunctive normal form (CNF).
`abstract Conjunction`	PlFormula.`toCnf()`	This method returns this formula in conjunctive normal form (CNF).
`Conjunction`	Proposition.`toCnf()`
`Conjunction`	SpecialFormula.`toCnf()`

Uses of Conjunction in net.sf.tweety.logics.qbf.syntax

Methods in net.sf.tweety.logics.qbf.syntax that return Conjunction
Modifier and Type	Method	Description
`Conjunction`	ExistsQuantifiedFormula.`toCnf()`	In this case, this method returns this quantified boolean formula's cnf kernel.
`Conjunction`	ForallQuantifiedFormula.`toCnf()`	In this case, this method returns this quantified boolean formula's cnf kernel.

Uses of Conjunction in net.sf.tweety.logics.translators.folprop

Methods in net.sf.tweety.logics.translators.folprop that return Conjunction
Modifier and Type	Method	Description
`Conjunction`	FOLPropTranslator.`toPropositional(Conjunction conjunction)`	Translates the given FOL Conjunction to a propositional Conjunction

Methods in net.sf.tweety.logics.translators.folprop with parameters of type Conjunction
Modifier and Type	Method	Description
`Conjunction`	FOLPropTranslator.`toFOL(Conjunction conjunction)`	Translates the given propositional Conjunction to a FOL Conjunction