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

Packages that use Conjunction

Package	Description
net.sf.tweety.logics.cl.syntax
net.sf.tweety.logics.pl
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.translators.folprop

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 and Description
Conjunction	Conditional.combineWithAnd(Conjuctable f)

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

Methods in net.sf.tweety.logics.pl that return Conjunction

Modifier and Type	Method and Description
Conjunction	PlBeliefSet.toCnf() This method returns this belief set in conjunctive normal form (CNF).

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 and Description
Conjunction	Conjunction.clone()
Conjunction	PropositionalFormula.combineWithAnd(Conjuctable f)
Conjunction	Conjunction.createEmptyFormula()
Conjunction	PropositionalFormula.resolveWith(PropositionalFormula other) Resolves this formula with the given one (both have to be conjunctive clauses) and returns some resolvent.
Conjunction	SpecialFormula.toCnf()
abstract Conjunction	PropositionalFormula.toCnf() This method returns this formula in conjunctive normal form (CNF).
Conjunction	Proposition.toCnf()
Conjunction	Negation.toCnf()
Conjunction	Disjunction.toCnf()
Conjunction	Conjunction.toCnf()

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 and 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 and Description
Conjunction	FOLPropTranslator.toFOL(Conjunction conjunction) Translates the given propositional Conjunction to a FOL Conjunction