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

Packages that use Conjunction

Package	Description
net.sf.tweety.arg.delp.syntax
net.sf.tweety.logics.el.syntax
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.translators.aspnlp
net.sf.tweety.logics.translators.folprop

Uses of Conjunction in net.sf.tweety.arg.delp.syntax

Methods in net.sf.tweety.arg.delp.syntax that return Conjunction

Modifier and Type	Method and Description
Conjunction	DelpRule.combineWithAnd(Conjuctable f)

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

Methods in net.sf.tweety.logics.el.syntax that return Conjunction

Modifier and Type	Method and Description
Conjunction	ModalFormula.combineWithAnd(Conjuctable f)

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

Methods in net.sf.tweety.logics.fol.syntax that return Conjunction

Modifier and Type	Method and Description
Conjunction	Conjunction.clone()
abstract Conjunction	RelationalFormula.combineWithAnd(Conjuctable formula)
Conjunction	FolFormula.combineWithAnd(Conjuctable f)
Conjunction	Conjunction.createEmptyFormula()
Conjunction	Conjunction.substitute(Term<?> v, Term<?> t)

Methods in net.sf.tweety.logics.fol.syntax that return types with arguments of type Conjunction

Modifier and Type	Method and Description
java.util.Set<Conjunction>	SpecialFormula.getConjunctions()

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

Methods in net.sf.tweety.logics.ml.syntax that return Conjunction

Modifier and Type	Method and Description
Conjunction	MlnFormula.combineWithAnd(Conjuctable f)

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

Methods in net.sf.tweety.logics.rcl.syntax that return Conjunction

Modifier and Type	Method and Description
Conjunction	RelationalConditional.combineWithAnd(Conjuctable f)

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

Methods in net.sf.tweety.logics.rdl.syntax that return Conjunction

Modifier and Type	Method and Description
Conjunction	DefaultRule.combineWithAnd(Conjuctable formula)

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

Methods in net.sf.tweety.logics.translators.aspnlp with parameters of type Conjunction

Modifier and Type	Method and Description
private java.util.List<DLPHead>	AspNlpTranslator.headsFromConjunction(Conjunction c)

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

Methods in net.sf.tweety.logics.translators.folprop with parameters of type Conjunction

Modifier and Type	Method and Description
Conjunction	FOLPropTranslator.toPropositional(Conjunction conjunction) Translates the given FOL Conjunction to a propositional Conjunction