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

Packages that use Conjunction

Package	Description
org.tweetyproject.arg.dung.learning.util
org.tweetyproject.logics.cl.syntax
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.pl.util
org.tweetyproject.logics.qbf.syntax
org.tweetyproject.logics.translators.adfrevision
org.tweetyproject.logics.translators.folprop

Uses of Conjunction in org.tweetyproject.arg.dung.learning.util

Methods in org.tweetyproject.arg.dung.learning.util with parameters of type Conjunction

Modifier and Type	Method	Description
static PossibleWorld	ModelComputation.getModelOfConjunction(Conjunction condition)	compute the model of a formula in atomic CNF e.g.

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)	Combines this conditional with another formula using logical conjunction (AND).

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()
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 org.tweetyproject.logics.pl.util

Methods in org.tweetyproject.logics.pl.util that return Conjunction

Modifier and Type	Method	Description
static Conjunction	CardinalityConstraintEncoder.getNaiveAtMostOneEncoding(Collection<Proposition> atoms)	Returns a naive at-most-1 encoding for the given set of atoms.

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.adfrevision

Methods in org.tweetyproject.logics.translators.adfrevision that return Conjunction

Modifier and Type	Method	Description
Conjunction	Indecision.toCnf()
Conjunction	WeakNegation.toCnf()

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