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

Packages that use Conjunction

Package	Description
org.tweetyproject.arg.delp.syntax
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.ml.syntax
org.tweetyproject.logics.mln.syntax
org.tweetyproject.logics.rcl.syntax
org.tweetyproject.logics.rdl.syntax
org.tweetyproject.logics.translators.folprop

Uses of Conjunction in org.tweetyproject.arg.delp.syntax

Methods in org.tweetyproject.arg.delp.syntax that return Conjunction

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

Uses of Conjunction in org.tweetyproject.logics.fol.syntax

Methods in org.tweetyproject.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 org.tweetyproject.logics.fol.syntax that return types with arguments of type Conjunction

Modifier and Type	Method	Description
Set<Conjunction>	SpecialFormula.getConjunctions()	Return conjunctions

Uses of Conjunction in org.tweetyproject.logics.ml.syntax

Methods in org.tweetyproject.logics.ml.syntax that return Conjunction

Modifier and Type	Method	Description
Conjunction	MlFormula.combineWithAnd(Conjunctable f)

Uses of Conjunction in org.tweetyproject.logics.mln.syntax

Methods in org.tweetyproject.logics.mln.syntax that return Conjunction

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

Uses of Conjunction in org.tweetyproject.logics.rcl.syntax

Methods in org.tweetyproject.logics.rcl.syntax that return Conjunction

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

Uses of Conjunction in org.tweetyproject.logics.rdl.syntax

Methods in org.tweetyproject.logics.rdl.syntax that return Conjunction

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

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

Methods in org.tweetyproject.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