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.fol.syntax
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.mln.syntax
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
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	Description
Conjunction	DelpRule.combineWithAnd(Conjunctable 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	Description
Conjunction	Conjunction.clone()
Conjunction	FolFormula.combineWithAnd(Conjunctable 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	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	Description
Conjunction	MlFormula.combineWithAnd(Conjunctable f)

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

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

Modifier and Type	Method	Description
Conjunction	MlnFormula.combineWithAnd(Conjunctable 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	Description
Conjunction	RelationalConditional.combineWithAnd(Conjunctable 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	Description
Conjunction	DefaultRule.combineWithAnd(Conjunctable formula)

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