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

Packages that use Conjunction

Package	Description
net.sf.tweety.logics.pl.syntax

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(net.sf.tweety.logics.commons.syntax.interfaces.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	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()