Uses of Class org.tweetyproject.logics.pl.syntax.Conjunction

Packages that use Conjunction
Package	Description
org.tweetyproject.logics.cl.syntax
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.qbf.syntax
org.tweetyproject.logics.translators.folprop

Uses of Conjunction in org.tweetyproject.logics.cl.syntax

Methods in org.tweetyproject.logics.cl.syntax that return Conjunction
Modifier and Type Method Description

Conjunction Conditional.combineWithAnd(Conjunctable f)

Uses of Conjunction in org.tweetyproject.logics.pl.syntax

Methods in org.tweetyproject.logics.pl.syntax that return Conjunction
Modifier and Type	Method	Description
`Conjunction`	Conjunction.`clone()`
`Conjunction`	PlFormula.`combineWithAnd(Conjunctable f)`
`Conjunction`	Conjunction.`createEmptyFormula()`
`static Conjunction`	CardinalityConstraint.`getNaiveAtMostOneEncoding(java.util.Collection<Proposition> atoms)`	Returns a naive at-most-1 encoding for the given set of atoms.
`Conjunction`	PlFormula.`resolveWith(PlFormula other)`	Resolves this formula with the given one (both have to be conjunctive clauses) and returns some resolvent.
`Conjunction`	CardinalityConstraint.`toCnf()`
`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 org.tweetyproject.logics.qbf.syntax

Methods in org.tweetyproject.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 org.tweetyproject.logics.translators.folprop

Methods in org.tweetyproject.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 org.tweetyproject.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